Search for blocks/addresses/...
Proofgold Proposition
Sigma_nat
6
(
λ x1 .
mul_nat
(
ap
(
lam
6
(
λ x2 .
If_i
(
x2
=
0
)
1
(
If_i
(
x2
=
1
)
0
(
If_i
(
x2
=
2
)
0
(
If_i
(
x2
=
3
)
1
(
If_i
(
x2
=
4
)
0
1
)
)
)
)
)
)
x1
)
(
exp_nat
2
x1
)
)
=
41
type
prop
theory
HotG
name
-
proof
PUKRi..
Megalodon
-
proofgold address
TMTTw..
creator
15508
Pr4zB..
/
01a6a..
owner
15508
Pr4zB..
/
01a6a..
term root
1b79d..