Formalizing Mathematics in Lean Organising institution Utrecht University Faculty Faculty of Science €500 Formalizing Mathematics in Lean
Mathematics and Science Education Organising institution Utrecht University Faculty Faculty of Science Closed Mathematics and Science Education