Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
∀ x1 :
ι → ο
.
(
∀ x2 .
x1
x2
⟶
∀ x3 .
x3
∈
x2
⟶
nIn
x0
x3
)
⟶
x1
0
⟶
∀ x2 .
x1
x2
⟶
CD_proj1
x0
x1
x2
=
0
type
prop
theory
HotG
name
CD_proj1_F
proof
PUYQJ..
Megalodon
CD_proj1_F
proofgold address
TMQ5h..
CD_proj1_F
creator
28412
PrQUS..
/
b72bd..
owner
28412
PrQUS..
/
b72bd..
term root
40d7a..