Stream: Coq users

Topic: ✔ Dune, _CoqProject and tests


view this post on Zulip Notification Bot (Sep 08 2021 at 07:21):

This topic was moved by Théo Zimmermann to #Dune devs & users > ✔ Dune, _CoqProject and tests


Last updated: May 24 2024 at 23:01 UTC