phanerozoic
/

tiny-mod4-verified

formal-verification

threshold-logic

modular-arithmetic

Model card Files Files and versions

tiny-mod4-verified / .gitattributes

Commit History

initial commit

d975f55
verified

phanerozoic commited on about 15 hours ago