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
Roast topics
Find topics
Find it!
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…
