markm39
/

openproof-tactic-2b

Text Generation

theorem-proving

tactic-prediction

formal-verification

Model card Files Files and versions

openproof-tactic-2b

Commit History

Update README.md

26b4c66
verified

markm39 commited on 16 days ago

Upload folder using huggingface_hub

80c278b
verified

markm39 commited on 16 days ago

initial commit

4b38d39
verified

markm39 commited on 16 days ago