Formalization of Drinfeld ModulesDate: March 13, 2025Talk on my joint work with María Inés de Frutos Fernández on the formalization of Drinfeld Modules.See video and slides.Share on Twitter Facebook LinkedIn Previous Next
