CoqPL 2025

Elpi: rule-based meta-languge for Rocq

Abstract: pdf

Slides: pdf html

Demo: xP.v xP2.v