Search for blocks/addresses/...
Proofgold Object
b3303..
(
λ x0 .
λ x1 :
ι → ι
.
02a50..
(
94f9e..
(
5246e..
x0
)
x1
)
(
94f9e..
(
23e07..
x0
)
x1
)
)
type
ι
→
ι
theory
HoTg
name
-
definition
PUTG4..
Megalodon
-
proofgold address
TMNKt..
creator
3831
PrGxv..
/
42816..
owner
3831
PrGxv..
/
42816..
term root
1dbc8..