Search for blocks/addresses/...
Proofgold Proposition
∀ x0 :
(
(
ι → ο
)
→ ο
)
→ ο
.
∀ x1 :
(
(
(
ι → ο
)
→ ο
)
→ ο
)
→ ο
.
x1
x0
⟶
8fddf..
(
a327b..
x0
)
x1
type
prop
theory
HF
name
-
proof
PUXbj..
Megalodon
In_4_I
proofgold address
TMa2m..
In_4_I
creator
1478
PrGxv..
/
0fa99..
owner
1478
PrGxv..
/
0fa99..
term root
86003..