phanerozoic
/

tiny-7OutOf8-verified

formal-verification

threshold-logic

Model card Files Files and versions

tiny-7OutOf8-verified / .gitattributes

Commit History

initial commit

684e37d
verified

phanerozoic commited on about 20 hours ago