An automatic theorem proving project (Tim Gowers, 2022)gowers.wordpress.com3 points·laurent_du··0 commentsOpen articleSaveView on HN