Stream:
Coq Platform devs & users
Topic:
Release 8.12.0.alpha3
Michael Soegtrop
(Aug 10 2020 at 20:47)
:
I just released Coq platform 8.12.0.alpha3.
Last updated: Apr 20 2024 at 06:02 UTC