Search for blocks/addresses/...

Proofgold Object

λ x0 . 0ac37.. x0 (94f9e.. x0 (λ x1 . 15418.. x1 (91630.. (4ae4a.. 4a7ef..))))
type
ι → ι
theory
HoTg
name
-
definition
PURFE..
Megalodon
-
proofgold address
TMTQo..
creator
2815 PrGxv../004d1..
owner
2815 PrGxv../004d1..
term root
8d19e..