Ali Caglayan (Mar 10 2023 at 00:10): Ali Caglayan (Mar 10 2023 at 00:10):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: Jun 03 2023 at 18:01 UTC