Search for blocks/addresses/...
Proofgold Proposition
∀ x0 :
(
ι → ο
)
→ ο
.
∀ x1 :
(
(
ι → ο
)
→ ο
)
→ ο
.
x1
x0
⟶
e6217..
(
a4b00..
x0
)
x1
type
prop
theory
HF
name
-
proof
PUXbj..
Megalodon
In_3_I
proofgold address
TMGsW..
In_3_I
creator
1478
PrGxv..
/
808a5..
owner
1478
PrGxv..
/
808a5..
term root
184eb..