phanerozoic
/

tiny-HalfAdder-verified

formal-verification

threshold-logic

Model card Files Files and versions

tiny-HalfAdder-verified

Commit History

Upload README.md with huggingface_hub

d4b0f95
verified

phanerozoic commited on 7 days ago

Upload halfadder.safetensors with huggingface_hub

00cf620
verified

phanerozoic commited on 7 days ago

initial commit

5ee6031
verified

phanerozoic commited on 7 days ago