nixpkgs / coqPackages.coqtail-math -

Homepage - https://github.com/coq-community/coqtail-math

License - LGPL-3.0-only

Maintainers - Siraphob Phipathananunth

Releases

20201124 (expand/collapse)
From commit 0625b9a7 to 00460bd6