/generate_NOproofs4NPproperties

tools that support a human in producing in his attempt to produce a human NO proof for an NP-property.

Primary LanguagePython

No issues in this repository yet.