Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
8c189..
x0
⟶
∀ x1 :
ι → ο
.
(
∀ x2 x3 x4 x5 .
SNo
x2
⟶
SNo
x3
⟶
SNo
x4
⟶
SNo
x5
⟶
x0
=
f4b0e..
x2
x3
x4
x5
⟶
x1
(
f4b0e..
x2
x3
x4
x5
)
)
⟶
x1
x0
type
prop
theory
HotG
name
-
proof
PUVHe..
Megalodon
-
proofgold address
TMFEF..
creator
28248
PrQUS..
/
078e1..
owner
28248
PrQUS..
/
078e1..
term root
c7c4a..