Search for blocks/addresses/...
Proofgold Proposition
not
(
TwoRamseyProp_atleastp
3
4
(
prim4
3
)
)
type
prop
theory
HotG
name
not_TwoRamseyProp_atleast_3_4_Power_3
proof
PUKgX..
Megalodon
-
proofgold address
TMGsG..
creator
14577
Pr4zB..
/
15052..
owner
14577
Pr4zB..
/
15052..
term root
53186..