Skip to content

Evenint case study

Lennard Gäher requested to merge lennard/evenint into main

Adds an evenint case study (from the tutorial) with some additional fun variations to the case studies.

Also change the build order in the Makefile a bit, in order to first generate all the Coq files and then run Coq in parallel on all of them.

Merge request reports