Search for blocks/addresses/...
Proofgold Proposition
∀ x0 x1 .
In
x0
x1
⟶
d97e3..
(
1ce4f..
x0
)
(
1ce4f..
x1
)
type
prop
theory
HF
name
-
proof
PUXbj..
Megalodon
In_1_up
proofgold address
TMExY..
In_1_up
creator
1478
PrGxv..
/
f8512..
owner
1478
PrGxv..
/
f8512..
term root
69b16..