Funding opportunity IRU2, Formalized Mathematics
Excellence Cluster: Hausdorff Center for Mathematics
Sample: IRU 1 Mathematics and Life Sciences
Floris van Doorn
ERC Proposal Part 1
ERC Proposal Part 2