phanerozoic
/

tiny-6OutOf8-verified

formal-verification

threshold-logic

Model card Files Files and versions

tiny-6OutOf8-verified / .gitattributes

Commit History

initial commit

3d54d15
verified

phanerozoic commited on 2 days ago