Dominik Kirst
where else to find them
no profile links on file
what they talk about
where they keep going back
- CPP2 editions2022–2024
on a stage with
- Ian Shillitoonce
- Mark Kochonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| A mechanised and constructive reverse analysis of soundness and completeness of b... | CPP 2024 | 2024-01-15 |
A Coq formalisation verifies propositional bi‑intuitionistic soundness and shows soundness forces classicality: soundness implies excluded middle in the… | ||
| Undecidability, Incompleteness, and Completeness of Second-Order Logic in Coq | CPP 2022 | 2022-01-17 |
The project mechanizes central metatheory of second‑order logic in Coq mechanization, producing about 8,000 lines of code (plus 1,500 reused) and… | ||
| nothing matches | ||