Stream: Dune devs & users

Topic: Compiling against multiple versions of Coq


view this post on Zulip 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: Mar 28 2024 at 10:01 UTC