coqprime-tools
Primality certification for Coq (tools)
Command lineDevelopment
Not tested on a device yet. What that means
Commands in the package
firstprimeso2vpocklington
About coqprime-tools
From Debian's package description
Coqprime consists in:
- a library of facts from number theory
- a library for elliptic curves
- an efficient library for modular arithmetic
- tools to generate Pocklington and elliptic curve
certificates of primality
Coq is a proof assistant for higher-order logic.
From Debian's description of the coqprime-tools package, under that package's license.
Dependencies
Depends on
libcoq-coqprimeocaml-base-noxorocaml-baselibc6libecm1libgmp10
Related apps
- varlink-goVarlink interface generator utilityCommand line
Proof GeneralOrganise your proofs!- CoqIDE Proof AssistantGraphical interface for the Coq proof assistant
- debian-coq-toolsvarious tools to manage Coq-related Debian packagesCommand line
- coq-dpdgraph-toolsCoq plugin to extract dependencies between Coq objects (tools)Command line
- dh-coqdebhelper tool for Coq-related Debian packagesCommand line
Sources and licenses
- Name: the Debian package name.
- Summary: Debian's short description of the coqprime-tools package, under that package's license.
- Description: Debian's description of the coqprime-tools package, under that package's license.
- Versions and sizes: Debian's archive for ARM64, as on packages.debian.org.
- Popularity: Debian Popularity Contest counts.
More in About the catalog.