include/comoproj/v2.0.0 (!34) · Merge requests · Max Ole Elliger / Coq Exercises · GitLab

Max Ole Elliger requested to merge include/comoproj/v2.0.0 into main Nov 06, 2023

I want a new CoMoEx-Version based on comoproj-v2.0.0