Covers proofs of primality for numbers of different forms, displays tables of the largest known primes, and lists related software.