Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
phanerozoic
/
tiny-RippleCarry2Bit-verified
like
0
formal-verification
coq
threshold-logic
neuromorphic
arithmetic
adder
License:
mit
Model card
Files
Files and versions
xet
Community
2ff0db4
tiny-RippleCarry2Bit-verified
Commit History
initial commit
2ff0db4
verified
phanerozoic
commited on
2 days ago
phanerozoic
commited on
