ProofCheck / .gitignore

Commit History

Update .gitignore: ignore helper script and duplicate file
cc9bdee

Yaz Hobooti commited on

Add .gitignore and Hugging Face model card
c328680

Yaz Hobooti commited on