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