Formalizing Mathematics in Lean
Utrecht University
Faculty of Science
Closed
2 courses for mathematics
-
-
Mathematics and Science Education
Utrecht UniversityFaculty of Science
Closed