GitHub repository: meta-introspector/coq-elpi
Description: Coq plugin embedding elpi