Search for blocks/addresses/...
Proofgold Proposition
Loop_with_defs_cex1
(
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
TMM8Y..
creator
3226
PrCx1..
/
822f2..
owner
3226
PrCx1..
/
822f2..
term root
b6fbb..