Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
phanerozoic
/
tiny-NOT-verified
like
0
formal-verification
coq
threshold-logic
neuromorphic
License:
mit
Model card
Files
Files and versions
xet
Community
main
tiny-NOT-verified
Commit History
Upload README.md with huggingface_hub
4a274b5
verified
phanerozoic
commited on
1 day ago
Upload README.md with huggingface_hub
3fb5bf5
verified
phanerozoic
commited on
1 day ago
Upload not.safetensors with huggingface_hub
5c651bb
verified
phanerozoic
commited on
1 day ago
initial commit
7e96a2a
verified
phanerozoic
commited on
1 day ago
phanerozoic
commited on
