Search for blocks/addresses/...
Proofgold Proposition
∀ x0 : ο .
∀ x1 x2 :
(
(
(
ι → ο
)
→ ο
)
→ ο
)
→ ο
.
not
x0
⟶
If_Vo4
x0
x1
x2
=
x2
type
prop
theory
HoTg
name
If_Vo4_0
proof
PUfss..
Megalodon
-
proofgold address
TMQyu..
creator
2718
PrGxv..
/
b2d78..
owner
2718
PrGxv..
/
b2d78..
term root
bab37..