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
main
tiny-RippleCarry2Bit-verified
7.35 kB
1 contributor
History:
3 commits
phanerozoic
Upload README.md with huggingface_hub
60f4258
verified
about 21 hours ago
.gitattributes
1.52 kB
initial commit
about 21 hours ago
README.md
2.76 kB
Upload README.md with huggingface_hub
about 21 hours ago
ripplecarry2bit.safetensors
3.07 kB
xet
Upload ripplecarry2bit.safetensors with huggingface_hub
about 21 hours ago