nixpkgs / coqPackages.pocklington - Pocklington's criterion for primality in Coq

Homepage - https://github.com/coq-community/pocklington

License - MIT

Maintainers - Siraphob Phipathananunth

Releases

8.12.0 (expand/collapse)
From commit 021813a4 to 00460bd6