Proving Ground: Tools for Automated Mathematics