Yves Gallot's Proth.exe
Program to prove large primes on the form k*2^n+/-1. Page has introduction and free Windows download.

No queries for primes.utm.edu/programs/gallot