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..