Skip to content
comoproj-v2.5.0 protected
Max Ole Elliger's avatar
Max Ole Elliger
@oc59yqul
023f2101 · Merge branch 'include/coq-equations' into 'main' ·
Release: comoproj-v2.5.0
Unverified 
support for coq-equations

By using the new docker image motrellin/docker-coq-equations, one can
now use this template to check coq code using the extension
coq-extensions.