Shachar Itzhaky (Jan 13 2021 at 17:57): Shachar Itzhaky (Jan 13 2021 at 17:57):I have published a release candidate for 0.12.2. Not much has changed but Coq version is now 8.12.1.
@Théo Zimmermann I am sorry it took so long!
Last updated: Jun 01 2023 at 13:01 UTC