Search for blocks/addresses/...

Proofgold Object

∀ x0 : ο . x0
type
ο
theory
HoTg
name
False
definition
PUgom..
Megalodon
-
proofgold address
TMSx6..
creator
1652 PrGxv../d958e..
owner
1652 PrGxv../d958e..
term root
1db70..