Attended the workshop at Isaac Newton Institute for Mathematical Sciences, Cambridge, UK

Workshop on Computer-aided mathematical proof

https://www.newton.ac.uk/event/bprw01/participants