Merge branch 'include/coq-equations' into 'main'

added coq-equations to gitlab-ci

See merge request !11

.gitlab-ci.yml

@@ -4,7 +4,7 @@ stages:
 
 # Compile your project based on latest coq version.
 build_latest:
-  image: coqorg/coq:latest
+  image: motrellin/docker-coq-equations
   stage: build
   script:
     - make all