GamePad: A studying surroundings for theorem proving Leave a Comment / AI Tools & Automation / By Sophia Blake GamePad: A studying surroundings for theorem proving