Emilio Gamba
where else to find them
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
- Matthieu Sozeauonce
- Yves Bertotonce
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| 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 | ||