Emilio Jesús Gallego Arias
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
- Bhakti Shahonce
- Matthieu Sozeauonce
- Yves Bertotonce
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… | ||
| Integrating Dependency Building with Document Checking in Coq | CoqPL 2024 | 2024-01-20 |
Prototype integrates a build system into coq-lsp by handling Require as an effect using algebraic effects in OCaml 5, so the server checks dependencies on… | ||
| nothing matches | ||