Search for blocks/addresses/...
Proofgold Proposition
∀ x0 x1 :
(
ι → ο
)
→ ο
.
3a6d0..
x0
x1
⟶
e6217..
(
a4b00..
x0
)
(
a4b00..
x1
)
type
prop
theory
HF
name
-
proof
PUXbj..
Megalodon
In_3_up
proofgold address
TMZbc..
In_3_up
creator
1478
PrGxv..
/
1e5bd..
owner
1478
PrGxv..
/
1e5bd..
term root
946b5..