He coded the Lucas test for primality and tested whether 2n - 1 was prime for all primes n < 2304 on the SWAC computer.
Siya ang code Lucas test para sa primality at sinubok kung 2 n - 1-taasan ay para sa lahat ng primes n <2304 sa SWAC computer.