GitHub repository: proux01/coq-elpi
Description: Coq plugin embedding elpi