phanerozoic
/

tiny-mod6-verified

formal-verification

threshold-logic

modular-arithmetic

Model card Files Files and versions

tiny-mod6-verified / .gitattributes

Commit History

initial commit

b8f3786
verified

phanerozoic commited on 1 day ago