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.10.0.tar.gz
md5=272d3006e0b1c1fea3fa8cdd1dea8d7d
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: 09 Dec 2019
On This Page