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