package coq-pocklington

  1. Overview
  2. No Docs
Pocklington's criterion

Install

Dune Dependency

github.com Edit opam file Versions (7)

Authors

  1. M
    Martijn Oostdijk <>
  2. O
    Olga Caprotti <>

Maintainers

  1. M
    matej.kosik@inria.fr

Sources

v8.5.0.tar.gz
md5=2c742f543d56b36a2812eb1a0e8473e7

Description

Pocklington's criterion for checking primality for large natural numbers. Includes a proof of Fermat's little theorem.

Tags

keyword:Pocklington keyword:number theory keyword:prime numbers keyword:primality keyword:Fermat's little theorem category:Mathematics/Arithmetic and Number Theory/Number theory date:2000-11

Published: 07 Jun 2016

Dependencies (2)

  1. coq >= "8.5" & < "8.6~"
  2. ocaml

Dev Dependencies

None

Used by (1)

  1. coq-goedel < "8.6.0"

Conflicts

None