Search for blocks/addresses/...
Proofgold Proposition
∀ x0 x1 x2 x3 : ο .
and
(
and
(
and
x0
x1
)
x2
)
x3
⟶
∀ x4 : ο .
(
x0
⟶
x1
⟶
x2
⟶
x3
⟶
x4
)
⟶
x4
type
prop
theory
HotG
name
and4E
proof
PUL8Q..
Megalodon
and4E
proofgold address
TMT4y..
and4E
creator
4882
Pr6Pc..
/
a1dff..
owner
4882
Pr6Pc..
/
a1dff..
term root
7f6e6..