phanerozoic
/

tiny-Implies-verified

formal-verification

threshold-logic

Model card Files Files and versions

tiny-Implies-verified

Commit History

Upload README.md with huggingface_hub

9680d55
verified

phanerozoic commited on about 21 hours ago

Upload README.md with huggingface_hub

e34f182
verified

phanerozoic commited on about 21 hours ago

Upload README.md with huggingface_hub

a3b1b70
verified

phanerozoic commited on about 22 hours ago

Upload implies.safetensors with huggingface_hub

9a50f1b
verified

phanerozoic commited on about 22 hours ago

initial commit

1a4227b
verified

phanerozoic commited on about 22 hours ago