Skip to content
GitLab
Explore
Sign in
Max Ole Elliger
Template Coq-Project
Tags
comoproj-v2.1.0-coqc-v8.18.0
comoproj-v2.1.0-coqc-v8.18.0
protected
f61fedf6
·
Merge tag 'comoproj-v2.1.0' into pre-release/comoproj/coqc/v8.18.0
·
Nov 21, 2023