Formalizing Mathematics in Lean
Organising institution
Utrecht University
Faculty
Faculty of Science
€500
1 course for Lean
Tag