Coq Gitlab templates

Configuration and other boilerplate templates for Coq projects hosted on Gitlab, adapted from coq-community’s templates project.