Proving Ground: Tools for Automated Mathematics; HoTTgithub.com2 points·tluyben2··0 commentsOpen articleSaveView on HN