Notices by Timothy Gowers (wtgowers@mathstodon.xyz)

I will be taking on at least one new PhD student in automatic theorem proving in October 2023. If you might be interested in applying, it is bureaucratically easier if you do so before January 6th, though not completely essential. For more details about the project, have a look at our website, which is still under development but which contains quite a lot of material. 1/

https://wtgowers.github.io/human-style-atp/