nixpkgs / coqPackages.serapi - SerAPI is a library for machine-to-machine interaction with the Coq proof assistant

Homepage - https://github.com/ejgallego/coq-serapi

License - LGPL-2.1-or-later

Maintainers - Théo Zimmermann

Releases

8.13.0+0.13.0 (expand/collapse)
From commit 04e6b03f to 00460bd6