tobast
/
mpri-coq-project
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
mpri-coq-project/.gitignore

6 lines
30 B
Plaintext
Raw Permalink Blame History

# ---> Coq
*.vo
*.glob
*.v.d
Reference in New Issue View Git Blame Copy Permalink