phanerozoic
/

tiny-2OutOf8-verified

formal-verification

threshold-logic

Model card Files Files and versions

tiny-2OutOf8-verified / .gitattributes

Commit History

initial commit

3e45bd8
verified

phanerozoic commited on 1 day ago