Search for blocks/addresses/...
Proofgold Proposition
Loop_with_defs_cex2
(
Sing
0
)
(
λ x0 x1 .
0
)
(
λ x0 x1 .
0
)
(
λ x0 x1 .
0
)
(
Sing
0
)
(
λ x0 x1 .
0
)
(
λ x0 x1 x2 .
0
)
(
λ x0 x1 .
0
)
(
λ x0 x1 x2 .
0
)
(
λ x0 x1 x2 .
0
)
(
λ x0 x1 .
0
)
(
λ x0 x1 .
0
)
(
λ x0 x1 .
0
)
(
λ x0 x1 .
0
)
type
prop
theory
HF
name
-
proof
PUbrX..
Megalodon
-
proofgold address
TMdWP..
creator
3226
PrCx1..
/
1cc51..
owner
3226
PrCx1..
/
1cc51..
term root
755fd..