Search for blocks/addresses/...

Proofgold Proposition

not (TwoRamseyProp 6 6 (prim4 4))
type
prop
theory
HotG
name
-
proof
PUd6h..
Megalodon
not_TwoRamseyProp_6_6_Power_4
proofgold address
TMYNo..not_TwoRamseyProp_6_6_Power_4
creator
14958 Pr4zB../f788c..
owner
14959 Pr4zB../d1ee0..
term root
1e8ea..