Search for blocks/addresses/...

Proofgold Object

d7cf0.. 1f2c4.. (λ x0 . 91fd5.. (91fd5.. (57d6a.. 67794.. x0) (57d6a.. 67794.. 5b8fe..)) (57d6a.. 67794.. 5b8fe..))
type
ι
theory
HOAS
name
-
definition
PUWQ4..
Megalodon
-
proofgold address
TMGzL..
creator
1995 PrGxv../22416..
owner
1995 PrGxv../22416..
term root
90f6d..