Search for blocks/addresses/...
Proofgold Proposition
∀ x0 :
(
(
ι → ι
)
→
ι → ι
)
→
(
(
ι → ι
)
→
ι → ι
)
→
(
(
ι → ι
)
→
ι → ι
)
→
(
(
ι → ι
)
→
ι → ι
)
→
(
(
ι → ι
)
→
ι → ι
)
→
(
(
ι → ι
)
→
ι → ι
)
→
(
(
ι → ι
)
→
ι → ι
)
→
(
(
ι → ι
)
→
ι → ι
)
→
(
ι → ι
)
→
ι → ι
.
ChurchNums_8_perm_0_7_6_5_4_3_2_1
(
ChurchNums_8_perm_0_7_6_5_4_3_2_1
x0
)
=
x0
type
prop
theory
HotG
name
-
proof
PUYUy..
Megalodon
-
proofgold address
TMVLy..
creator
18523
Pr4zB..
/
5255d..
owner
18523
Pr4zB..
/
5255d..
term root
dacad..