Yann Leray
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Gaetan Gilbertonce
- Matthieu Sozeauonce
- Théo Winterhalteronce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Session with the Rocq Development Team | RocqPL 2026 | 2026-01-17 |
Rocq releases 9.0 and 9.1 ship a single rag binary, a split of the standard library into a minimal core plus a separate stdlib, and fixes to the guard checker… | ||
| Encode the Cake and Eat It Too: Controlling Computation in Type Theory, Locally | POPL 2026 | 2026-01-11 |
Claims a type theory LRTT that adds local rewrite rules via prenex abstraction over computation rules and a prototype implemented as a Rocq extension with all… | ||
| nothing matches | ||