Search for blocks/addresses/...

Proofgold Object

λ x0 . prim0 (λ x1 . and (SNo x1) (∃ x2 . and (SNo x2) (∃ x4 . and (SNo x4) (x0 = f4b0e.. (6b27d.. x0) x1 x2 x4))))
type
ιι
theory
HotG
name
-
definition
PUVHe..
Megalodon
-
proofgold address
TMcBv..
creator
28248 PrQUS../fd03e..
owner
28248 PrQUS../fd03e..
term root
2c274..