Search for blocks/addresses/...

Proofgold Object

3b429.. f74bd.. (λ x0 . f74bd..) (λ x0 x1 . True) 236dc..
type
ι
theory
HoTg
name
-
definition
PUfBi..
Megalodon
-
proofgold address
TMYHg..
creator
3879 PrGxv../1b217..
owner
3879 PrGxv../1b217..
term root
b88ac..