GitHub repository: FissoreD/coq-elpi
Primary language: Coq
Description: Coq plugin embedding elpi