Stream: Coq Platform devs & users

Topic: Coq Platform Discussion


view this post on Zulip Notification Bot (Jul 29 2020 at 14:07):

This topic was moved here from #Coq devs & plugin devs > Coq Platform Discussion by Théo Zimmermann

view this post on Zulip Théo Zimmermann (Jul 29 2020 at 14:13):

Topic divided into multiple ones now.


Last updated: Jan 30 2023 at 11:03 UTC