HN
Hacker News
Top
New
Best
Ask
Show
Jobs
laurent_du
477 karma · joined September 8, 2023
submissions
comments
An automatic theorem proving project (Tim Gowers, 2022)
gowers.wordpress.com
·
3 pts
·
laurent_du
·
0