Search for blocks/addresses/...

Proofgold Object

λ x0 . λ x1 : ι → ι . prim0 32d20.. (prim0 x0 (prim1 x1))
type
ι(ιι) → ι
theory
HOAS
name
-
definition
PULLz..
Megalodon
-
proofgold address
TMVeT..
creator
1880 PrGxv../591ed..
owner
1880 PrGxv../591ed..
term root
e3d1e..