Search for blocks/addresses/...
Proofgold Object
λ x0 : ο .
x0
⟶
False
type
ο
→
ο
theory
HotG
name
not
definition
PUQdE..
Megalodon
not
proofgold address
TMJJZ..
not
creator
4882
Pr6Pc..
/
37312..
owner
4882
Pr6Pc..
/
37312..
term root
f3043..