Search for blocks/addresses/...

Proofgold Object

λ x0 x1 . λ x2 : ι → ι . and (and (and (and (x1x0) (∀ x3 . x3x0x2 x3x0)) (∀ x3 . x3x0x2 x3 = x1∀ x4 : ο . x4)) (∀ x3 . x3x0∀ x4 . x4x0x2 x3 = x2 x4x3 = x4)) (∀ x3 : ι → ο . x3 x1(∀ x4 . x3 x4x3 (x2 x4))∀ x4 . x4x0x3 x4)
type
ιι(ιι) → ο
theory
HotG
name
explicit_Nats
definition
PUefP..
Megalodon
explicit_Nats
proofgold address
TMYM3..explicit_Nats
creator
4913 Pr6Pc../1caf4..
owner
4913 Pr6Pc../1caf4..
term root
3fb62..