nixpkgs / coqPackages.ceres - Library for serialization to S-expressions

Homepage - https://github.com/Lysxia/coq-ceres

License - MIT

Maintainers - Théo Zimmermann

Releases

0.4.0 (expand/collapse)

From commit 0721aa49 to 00460bd6