Formalizing Mathematics in Lean
Organising institution
Utrecht University
Faculty
Faculty of Science
Closed
1 course for formalization
Tag