Top course
Utrecht, Netherlands
Formalizing Mathematics in Lean
When:
17 August - 21 August 2026
Credits:
1.5 EC
Fee:
200 EUR
Language:
English
Read more
Find & explore
Always the right summer course for you
At Summer Schools in Europe, we understand that every student is unique, with different passions and aspirations. That’s why our platform offers a wide range of courses across various disciplines. Whether you’re interested in STEM subjects, humanities, arts, business, or social sciences, we have an extensive selection of programmes to choose from.
- Explore new subjects
- Hone in on your ideal career path
- Make unforgettable memories