An automatic theorem proving project (Tim Gowers, 2022)gowers.wordpress.com3 pointslaurent_du3 years ago