←BackLLPCIC/coq-elpi0Copy as MarkdownView on GitHub↗0 stars·0 forks·0 viewsCoq ElpiFeaturesPlugins - Listed in the “Plugins” section of the Awesome Coq awesome list.