Dune is able to compile your Coq project against multiple versions of Coq at the same time. You can read more about it in a note I made here: https://github.com/HoTT/Coq-HoTT/discussions/1734
Last updated: Mar 28 2024 at 10:01 UTC