motrellin/comoproj

Template for Github Coq-Projects

Template for Coq-Projects on Github

This is a template for Github Coq-Projects.

Usage

You can use this template by clicking on the "Use this template"-Button:

Choose to "Create a new repository". You should choose to create a public repository in order to deploy to Github Pages which is a main advantage of this project. Make sure to enable Github Pages for your project. (Source: Github Actions)

After that, clone your new repository and update the meta.yml. You should ahve a look at the ref.yml from Coq-Community.

You must also update the following line in the Makefile:

COMPONENTS := theories:CoMoProj

It should match your choosen namespace.

Now execute

./generate.sh
git add .
git commit
git push

To generate meta information about your project.

Licensing

Do not hesitate to use this template. Please note, that the Makefile is licensed under GNU General Public License v3.0. It was first published at Gitlab