http://fmv.jku.at/kaufmann
This is an unofficial reimagining of the Archive of Formal Proofs
Practical Algebraic Calculus Checkerby Mathias Fleury and Daniela Kaufmann