Hugging Face's logo

phanerozoic
/
tiny-NAND-verified

formal-verification
coq
threshold-logic
neuromorphic
functionally-complete
Model card Files
xet
Community
tiny-NAND-verified / README.md

Commit History

Upload README.md with huggingface_hub
1243e8d
verified

phanerozoic commited on

Upload README.md with huggingface_hub
0af5794
verified

phanerozoic commited on

Upload README.md with huggingface_hub
757c9db
verified

phanerozoic commited on