phanerozoic
/

tiny-BiImplies-verified

formal-verification

threshold-logic

Model card Files Files and versions

tiny-BiImplies-verified

Commit History

Upload README.md with huggingface_hub

9f8f827
verified

phanerozoic commited on about 10 hours ago

Upload README.md with huggingface_hub

ffdc23f
verified

phanerozoic commited on about 10 hours ago

Upload README.md with huggingface_hub

6d6260c
verified

phanerozoic commited on about 11 hours ago

Upload biimplies.safetensors with huggingface_hub

34746f1
verified

phanerozoic commited on about 11 hours ago

initial commit

1a4227b
verified

phanerozoic commited on about 11 hours ago