Skip to content
GitLab
Explore
Sign in
Max Ole Elliger
Template Coq-Project
Issues
#1
Add some Makefile-Variable for coqc-Arguments
To upload designs, you'll need to enable LFS and have an admin enable hashed storage.
More information