Stream: Coq devs & plugin devs

Topic: 8.12 coq platform release thread


view this post on Zulip 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

view this post on Zulip 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: Oct 16 2021 at 03:02 UTC