Stream: Coq Platform devs & users

Topic: Release 8.12.0.alpha3


view this post on Zulip Michael Soegtrop (Aug 10 2020 at 20:47):

I just released Coq platform 8.12.0.alpha3.


Last updated: Jun 13 2024 at 07:01 UTC