Yves Bertot
where else to find them
what they talk about
where they keep going back
- CoqPL3 editions2022–2024
on a stage with
all 4 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Session with the Coq Development Team | CoqPL 2024 | 2024-01-20 |
Coq releases 8.17–8.19 add concrete features: ability to disable notations locally and use temporary scopes with an underscore, Ltac2 gains arrays, maps and… | ||
| Session with the Coq Development Team | CoqPL 2023 | 2023-01-21 |
Two releases land in 2022 and Coq 8.16 ships on Sept 5 with the matching platform arriving Oct 10, and an 8.17 release candidate (fsrc1) is out with the… | ||
| Session with the Coq Development Team | CoqPL 2022 | 2022-01-22 |
Coq 8.14 and 8.15 introduce a new case representation change that fixes surprising match-occurrence bugs and a Metacoq-checked subject reduction proof; native… | ||
| nothing matches | ||