Search for blocks/addresses/...
Proofgold Object
λ x0 x1 x2 .
and
(
and
(
and
(
UnaryFuncHom
x0
x1
x2
)
(
BinRelnHom
x0
x1
x2
)
)
(
UnaryPredHom
x0
x1
x2
)
)
(
PtdSetHom
x0
x1
x2
)
type
ι
→
ι
→
ι
→
ο
theory
HotG
name
-
definition
PUUEi..
Megalodon
-
proofgold address
TMKh7..
creator
11206
PrCx1..
/
e48f7..
owner
11206
PrCx1..
/
e48f7..
term root
8ed4a..