Hugging Face's logo

phanerozoic
/
tiny-HalfAdder-verified

formal-verification
coq
threshold-logic
neuromorphic
arithmetic
adder
Model card Files
xet
Community
tiny-HalfAdder-verified
5.47 kB
  • 1 contributor
 History: 3 commits
phanerozoic's picture
phanerozoic
Upload README.md with huggingface_hub
d4b0f95 verified