phanerozoic
/

threshold-implies

threshold_network

threshold-logic

Model card Files Files and versions

threshold-implies / README.md

Commit History

Add optimality note: exhaustive enumeration confirms magnitude 2 is minimum

bef90df

CharlesCNorton commited on 8 days ago

Rename from tiny-Implies-verified

f2cdec9
verified

phanerozoic commited on 9 days ago