Valentin Blot
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
- Assia Mahboubionce
- Chantal Kelleronce
- Denis Cousineauonce
all 6 in the filters
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| Compositional pre-processing for automated reasoning in dependent type theory | CPP 2023 | 2023-01-16 |
Implements compositional, small-step goal transforms for Coq that systematically convert inductives, uninterpreted symbols and higher-order/dependent… | ||
| nothing matches | ||