Search for blocks/addresses/...

Proofgold Object

λ x0 x1 . prim3 (prim2 x0 x1)
type
ιιι
theory
HoTg
name
-
definition
PUUEj..
Megalodon
-
proofgold address
TMaoh..
creator
2699 PrGxv../a5fba..
owner
2699 PrGxv../a5fba..
term root
38283..