Search for blocks/addresses/...
Proofgold Proposition
Loop_with_defs
(
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
TMVQ5..
creator
3226
PrCx1..
/
621f8..
owner
3226
PrCx1..
/
621f8..
term root
a591d..