Search for blocks/addresses/...

Proofgold Object

λ x0 x1 . 40dde.. (e4431.. x0) (λ x2 . prim1 x2 x0) (e4431.. x1) (λ x2 . prim1 x2 x1)
type
ιιο
theory
HoTg
name
-
definition
PURFE..
Megalodon
-
proofgold address
TMRnV..
creator
2815 PrGxv../0755a..
owner
2815 PrGxv../0755a..
term root
d65fc..