Search for blocks/addresses/...
Proofgold Proposition
∀ x0 x1 x2 :
ι →
ι →
ι →
ι →
ι →
ι → ι
.
a4ee9..
x0
⟶
Church6_p
x1
⟶
Church6_p
x2
⟶
(
(
x1
=
λ x4 x5 x6 x7 x8 x9 .
x9
)
⟶
(
x2
=
λ x4 x5 x6 x7 x8 x9 .
x9
)
⟶
False
)
⟶
(
TwoRamseyGraph_4_6_Church6_squared_b
(
λ x4 x5 x6 x7 x8 x9 .
x9
)
x0
x1
x2
=
λ x4 x5 .
x4
)
⟶
TwoRamseyGraph_4_6_Church6_squared_a
(
λ x4 x5 x6 x7 x8 x9 .
x9
)
x0
x1
x2
=
λ x4 x5 .
x4
type
prop
theory
HotG
name
-
proof
PUbJF..
Megalodon
-
proofgold address
TMZoR..
creator
20289
Pr4zB..
/
636e1..
owner
20289
Pr4zB..
/
636e1..
term root
e3f16..