Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
80242..
x0
⟶
x0
=
09072..
(
e4431..
x0
)
(
λ x2 .
prim1
x2
x0
)
type
prop
theory
HoTg
name
-
proof
PURFE..
Megalodon
-
proofgold address
TMaxL..
creator
2815
PrGxv..
/
d7204..
owner
2815
PrGxv..
/
d7204..
term root
1b118..