Hacker News new | past | comments | ask | show | jobs | submit | laurent_du's submissions login

1. An automatic theorem proving project (Tim Gowers, 2022) (gowers.wordpress.com) 3 points by laurent_du on Nov 23, 2023 | past

Join us for AI Startup School this June 16-17 in San Francisco! Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: