Search for blocks/addresses/...
Proofgold Object
λ x0 .
not
(
empty_p
x0
)
type
ι
→
ο
theory
HotG
name
-
definition
PUha4..
Megalodon
-
proofgold address
TMaCS..
creator
4903
Pr6Pc..
/
1e3d1..
owner
4903
Pr6Pc..
/
1e3d1..
term root
4ae83..