Login
From:
Gowers's Weblog
(Uncensored)
subscribe
Announcing an automatic theorem proving project | Gowers's Weblog
https://gowers.wordpress.com/2022/04/28/announcing-an-automatic-theorem-proving-project/
links
backlinks
I am very happy to say that I have recently received a generous grant from the Astera Institute to set up a small group to work on automatic theorem proving, in the first instance for about three y…
Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Roast topics
Find topics
Find it!
