package

coq8.20-coqprime

Description

Library to certify primality using Pocklington certificate and Elliptic Curve Certificate.

Metadata

Version

8.18

License

Status

Source

pkgs/development/coq-modules/coqprime/default.nix:29

Homepage

https://github.com/thery/coqprime

Maintainers (1)

Vincent Laporte

Platforms (44)

Darwin

FreeBSD

Linux

NetBSD

OpenBSD

Redox

Solaris

Windows

Show all