Formalizing Mathematics in Lean
Organising institution
Utrecht University
Faculty
Faculty of Science
€500
2 courses for mathematics
-
-
Mathematics and Science Education
Organising institutionUtrecht UniversityFacultyFaculty of Science
€350