The Euler proof engine for Java
Overview of the test results
API documentation
The Euler proof engine for .NET