Search for blocks/addresses/...

Proofgold Object

λ x0 : ι → ι → ο . True
type
(ιιο) → ο
theory
HOAS
name
-
definition
PUWQ4..
Megalodon
-
proofgold address
TMVWp..
creator
1995 PrGxv../8be77..
owner
1995 PrGxv../8be77..
term root
9f625..