package coq-bertrand
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Correctness of Knuth's algorithm for prime numbers
Install
Dune Dependency
Authors
Maintainers
Sources
v8.7.0.tar.gz
md5=94c1f46fd9ba1f18c956f3fac62dff4a
Description
A proof of correctness of the algorithm as described in `The Art of Computer Programming: Fundamental Algorithms' by Knuth, pages 147-149
Tags
keyword: Knuth's algorithm keyword: prime numbers keyword: Bertrand's postulate category: Mathematics/Arithmetic and Number Theory/Number theory category: Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs based on external tools category: Miscellaneous/Extracted Programs/Arithmetic date: 2002Published: 11 Jan 2019
On This Page