Stream: Coq devs & plugin devs

Topic: 8.12 coq platform release thread

Notification Bot (Jul 29 2020 at 14:03):

This topic was moved by Théo Zimmermann to #Coq Platform devs & users > 8.12 coq platform release thread

Théo Zimmermann (Jul 29 2020 at 14:05):

This topic was already going into several directions, so it seemed like it was time for a stream dedicated to the Coq Platform, with several topics within.

Last updated: Sep 15 2024 at 13:02 UTC