Project Euler

Mathematical and computational problems that reward both proof and implementation.