Search for blocks/addresses/...

Proofgold Object

λ x0 x1 . 0ac37.. x0 (94f9e.. x1 (λ x2 . 15418.. x2 (91630.. (4ae4a.. (4ae4a.. 4a7ef..)))))
type
ι → ι → ι
theory
HoTg
name
-
definition
PUfBi..
Megalodon
-
proofgold address
TMNwK..
creator
3879 PrGxv../8f438..
owner
3879 PrGxv../8f438..
term root
b6a57..