Search for blocks/addresses/...

Proofgold Object

∀ x0 : ο . x0x0
type
ο
theory
HOAS
name
True
definition
PUcHm..
Megalodon
-
proofgold address
TMaMk..
creator
1745 PrGxv../d3441..
owner
1745 PrGxv../d3441..
term root
f81b3..