Search for blocks/addresses/...
Proofgold Object
λ x0 :
ι →
ι → ο
.
∀ x1 .
x0
x1
x1
type
(
ι
→
ι
→
ο
) →
ο
theory
HoTg
name
reflexive
definition
PUhdM..
Megalodon
-
proofgold address
TMbEB..
creator
2717
PrGxv..
/
dbf26..
owner
2717
PrGxv..
/
dbf26..
term root
6a6de..