Iris Workshop 2026

Elpi: manipulating Rocq syntax made easy

Slides: pdf html