Search for blocks/addresses/...

Proofgold Object

prim1 (λ x0 . 236c6..)
type
ι
theory
HOAS
name
-
definition
PULLz..
Megalodon
-
proofgold address
TMWQD..
creator
1880 PrGxv../cdd27..
owner
1880 PrGxv../cdd27..
term root
b071f..