Primes

Prime number generator in Agda.

Produces the exhaustive stream of ordered prime numbers.

Name		Name	Last commit message	Last commit date
.gitignore		.gitignore
DividesProduct.agda		DividesProduct.agda
Factorisation.agda		Factorisation.agda
LICENSE		LICENSE
MRel.agda		MRel.agda
Main.agda		Main.agda
Multiples.agda		Multiples.agda
NatBoundedGtWF.agda		NatBoundedGtWF.agda
PrimesInfinite.agda		PrimesInfinite.agda
README		README
README.md		README.md
Sieve.agda		Sieve.agda
Sieve0.agda		Sieve0.agda
SortedExhaustiveStream.agda		SortedExhaustiveStream.agda

Navigation Menu