phanerozoic
/

tiny-FullAdder-verified

formal-verification

threshold-logic

Model card Files Files and versions

tiny-FullAdder-verified

Commit History

Upload README.md with huggingface_hub

e20f4bc
verified

phanerozoic commited on about 14 hours ago

Upload fulladder.safetensors with huggingface_hub

a7c1fb6
verified

phanerozoic commited on about 14 hours ago

initial commit

91cef74
verified

phanerozoic commited on about 14 hours ago