Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Professor Dr. Johan Commelin

Address Utrecht University
Mathematical Institute
Mailbox 80.010
3508 TA Utrecht
Niederlande

Projects

As Applicant
- Completed projects
  - Formal verification of a theorem by Clausen and Scholze (WBP Position)

© 2024 DFG Disclaimer / Copyright / Privacy Policy