search

vafeiadis / hahn

Hahn: A Coq library
MIT License
29 stars 15 forks source link

Coq 8.11 #22

Closed pjmkrpg closed 4 years ago

pjmkrpg commented 4 years ago

Update gitignore to handle .vok and .vos files generated by coq 8.11