5.5K views
Isaac Newton Institute for Mathematical Sciences
#60 Exploring 'Mathlib' and the digitisation of mathematics: an interview with Professor Kevin Bu...
Login with Google Login with Discord