Skip to content

coqProject base files

7A1T requested to merge Create-CoqProject-files into master

Adds basic coq project files to the branch

Merge request reports