Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . equip x0 x0
type
prop
theory
HotG
name
equip_ref
proof
PUPXD..
Megalodon
equip_ref
proofgold address
TMXsc..equip_ref
creator
4945 Pr6Pc../4747d..
owner
4945 Pr6Pc../4747d..
term root
cc7e8..