Draft: Resolve "Update documentation: IntroElim" (!31 · Merge requests · Max Ole Elliger / Coq Exercises

Max Ole Elliger requested to merge 34-update-documentation-introelim into master Jun 29, 2023

Can't show this merge request because the source branch 34-update-documentation-introelim is missing from project oc59yqul/coq-exercises. Close this merge request or update the source branch.