Search for blocks/addresses/...
Proofgold Proposition
∀ x0 x1 x2 .
ap
(
lam
3
(
λ x4 .
If_i
(
x4
=
0
)
x0
(
If_i
(
x4
=
1
)
x1
x2
)
)
)
1
=
x1
type
prop
theory
HF
name
-
proof
PUKA4..
Megalodon
tuple_3_1_eq
proofgold address
TMMYV..
tuple_3_1_eq
creator
1627
PrGxv..
/
79141..
owner
1627
PrGxv..
/
79141..
term root
ad034..