Proving Ground: Tools for Automated Mathematics; HoTTgithub.com/siddhartha-gadgil2 pointstluyben24 years ago