Skip to main content

Top menu

Active application 1

User account menu

Search
Log in

Tag

formalization

Filter results

Start date

Course level

Bachelor (1)

Locations

Utrecht, The Netherlands (1)

Institution

Utrecht University (1)

1 course for formalization

Formalizing Mathematics in Lean

Utrecht University

Faculty of Science

21 Jul. - 25 Jul. 2025

Bachelor

1.5 ECTS

Closed

Social menu

Facebook
Instagram
LinkedIn

Footer menu

Newsletter
- Subscribe to our newsletter
Navigation
- Disciplines
- FAQ
- Partners
- Press

Partners

Utrecht University
HU
HKU
UVH

Legal menu

Cancellation & Refund
Privacy Statement
Terms and Conditions

Home
- Courses All Courses
- Art & Music
- Data Science
- Business & Economics
- Engineering & Technology
- Healthcare
- Humanities
- Language
- Law
- Life Sciences
- Science
- Social Sciences
- Online Courses
- Student Life Housing: Utrecht
- Housing: International
- Hotel Tips
- Social Programme
- Sports Centre
- Visit Utrecht & The Netherlands
- Getting Around
- Applying How to apply
- Before leaving
- Visa procedures
- Getting to Utrecht
- Cancellation & Refund
- Exchange for UU
- About Utrecht Summer School
- Staff
- FAQ
- Contact us
Search