phanerozoic
/

tiny-mod10-verified

formal-verification

threshold-logic

modular-arithmetic

Model card Files Files and versions

tiny-mod10-verified

4.25 kB

1 contributor

History: 3 commits

phanerozoic's picture

Upload README.md with huggingface_hub

1e84f0c verified about 19 hours ago