Search for blocks/addresses/...

Proofgold Object

prim0 (λ x0 . and (∀ x1 . prim1 x1 x0 ⟶ 80242.. x1) (62ee1.. x0 4a7ef.. (4ae4a.. 4a7ef..) bc82c.. e6316.. fe4bb..))
type
ι
theory
HoTg
name
-
definition
PUTG4..
Megalodon
-
proofgold address
TMTtL..
creator
3831 PrGxv../9c9cc..
owner
3831 PrGxv../9c9cc..
term root
8d0a0..