threshold-not / README.md

Commit History

Add optimality note: exhaustive enumeration confirms magnitude 1 is minimum
51c400d

CharlesCNorton commited on

Rename from tiny-NOT-verified
8638f54
verified

phanerozoic commited on