phanerozoic
/

tiny-AND-verified

formal-verification

threshold-logic

Model card Files Files and versions

tiny-AND-verified / README.md

Commit History

Upload README.md with huggingface_hub

9c13c5d
verified

phanerozoic commited on about 19 hours ago

Upload README.md with huggingface_hub

3cae6f4
verified

phanerozoic commited on about 20 hours ago

Upload README.md with huggingface_hub

f415cb6
verified

phanerozoic commited on about 21 hours ago