Hugging Face's logo

phanerozoic
/
tiny-RippleCarry2Bit-verified

formal-verification
coq
threshold-logic
neuromorphic
arithmetic
adder
Model card Files
xet
Community
tiny-RippleCarry2Bit-verified
4.59 kB
  • 1 contributor
 History: 2 commits
phanerozoic's picture
phanerozoic
Upload ripplecarry2bit.safetensors with huggingface_hub
636cc38 verified