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.8.0.tar.gz
md5=7abe286c4e4f394cfb9401cd28b7b209
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: 06 Feb 2019
On This Page