María Inés de Frutos-Fernández
María Inés de Frutos-Fernández
Affiliation: Universität Bonn
Talks
(Lean)
Formalizing Drinfeld Modules in Lean · Contributed talks 3
Pages in this Program
Program
Program on Saturday, 25 July 2026
Lean on Saturday, 25 July 2026
Lean Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑