Search for blocks/addresses/...

Proofgold Proposition

not (TwoRamseyProp 6 7 (prim4 4))
type
prop
theory
HotG
name
-
proof
PUd6h..
Megalodon
not_TwoRamseyProp_6_7_Power_4
proofgold address
TMaZ4..not_TwoRamseyProp_6_7_Power_4
creator
14958 Pr4zB../fb156..
owner
14959 Pr4zB../dfb61..
term root
045e6..