Articles
-
Aug 26, 2024 |
zenodo.org | Matthieu Sozeau |Théo Winterhalter |Simon Boulier |Yannick Forster |Jason Gross |Abhishek Anand | +18 more
Release 1.3.2 of the MetaCoq project for Coq 8.20 is available both as source and through opam. See the website for a detailed overview of the project, introductory material and related articles and presentations, and the release notes for 1.3.1 for a summary of the changes w.r.t. previous versions.
-
Aug 26, 2024 |
Release 1.3.2 of the MetaCoq project for Coq 8.20 is available both as source and through opam. See the website for a detailed overview of the project, introductory material and related articles and presentations, and the release notes for 1.3.1 for a summary of the changes w.r.t. previous versions.
-
Jul 22, 2024 |
zenodo.org | Matthieu Sozeau |Théo Winterhalter |Simon Boulier |Yannick Forster |Jason Gross |Abhishek Anand | +20 more
Release 1.3.2 of the MetaCoq project for Coq 8.19 is available both as source and through opam. See the website for a detailed overview of the project, introductory material and related articles and presentations, and the release notes for 1.3.1 for a summary of the changes w.r.t. previous versions.
-
Jul 22, 2024 |
Release 1.3.2 of the MetaCoq project for Coq 8.19 is available both as source and through opam. See the website for a detailed overview of the project, introductory material and related articles and presentations, and the release notes for 1.3.1 for a summary of the changes w.r.t. previous versions.
-
Mar 18, 2024 |
zenodo.org | Théo Winterhalter |Yannick Forster |Jason Gross |Abhishek Anand |Jakob Nielsen |Enrico Tassi | +20 more
We are happy to announce release 1.3.1 of the MetaCoq project for Coq 8.17, available both as source and through opam. See the website for a detailed overview of the project, introductory material and related articles and presentations.
Try JournoFinder For Free
Search and contact over 1M+ journalist profiles, browse 100M+ articles, and unlock powerful PR tools.
Start Your 7-Day Free Trial →X (formerly Twitter)
- Followers
- 87
- Tweets
- 99
- DMs Open
- No
RT @TateEtcMag: 'My picture will be very beautiful. I have drawn 11 plates of melon, pink melon...' Winifred Knights @DulwichGallery https:…
https://t.co/BrWAK24JTC
assisted by Cedric Pheasant http://t.co/adfFHZiXTx