Giters

coq-community / coq-plugin-template

Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

coq-community/coq-plugin-template Stargazers