Search for blocks/addresses/...
Proofgold Proposition
∀ x0 x1 x2 .
prim1
x2
x1
⟶
prim1
(
09364..
x2
)
(
aae7a..
x0
x1
)
type
prop
theory
HoTg
name
-
proof
PUKG7..
Megalodon
-
proofgold address
TMRzd..
creator
2750
PrGxv..
/
45140..
owner
2750
PrGxv..
/
45140..
term root
21bfd..