Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
equip
x0
x0
type
prop
theory
HF
name
-
proof
PUVGM..
Megalodon
equip_ref
proofgold address
TMNrn..
equip_ref
creator
2277
PrGxv..
/
5a7a1..
owner
2277
PrGxv..
/
5a7a1..
term root
779ba..