see also the index (by topic, by tool, by reference, by year)
Quentin Garchery
- Disambiguation of Plus Expressions
- Kleene Algebra
- Three idempotent rings
- VerifyThis 2018: Register allocation
- VerifyThis 2019: Cartesian trees
- VerifyThis 2019: GHC sort
- VerifyThis 2021: Lexicographic Permutations (version 2)
see also the index (by topic, by tool, by reference, by year)