Search for blocks/addresses/...
Proofgold Proposition
u17_to_Church17
u13
=
λ x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 .
x14
type
prop
theory
HotG
name
-
proof
PUW8P..
Megalodon
-
proofgold address
TMdtn..
creator
19051
Pr4zB..
/
a5eb7..
owner
19051
Pr4zB..
/
a5eb7..
term root
095d0..