Search for blocks/addresses/...
Proofgold Proposition
236c6..
=
32d20..
⟶
∀ x0 : ο .
x0
type
prop
theory
HOAS
name
-
proof
PULLz..
Megalodon
-
proofgold address
TMSJv..
creator
1880
PrGxv..
/
89aa6..
owner
1880
PrGxv..
/
89aa6..
term root
2d122..