Baanen, Anne

1. Use and abuse of instance parameters in the Lean mathematical library
   2022/02/03 by Anne Baanen, Baanen, Anne · 4 citations
   Computer Science · #Mathematics, Computing, and Information Processing
2. A formalization of Dedekind domains and class groups of global fields
   2021/02/04 by Baanen, Anne, Dahmen, Sander R., Narayanan, Ashvni +1 · 2 citations
   #11R29 #68V15 #68V20 #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Number Theory (math.NT)
3. Growing Mathlib: maintenance of a large scale mathematical library
   2025/08/29 by Baanen, Anne, Ballard, Matthew Robert, Commelin, Johan +3 · 2 citations
   #FOS: Computer and information sciences #FOS: Mathematics #History and Overview (math.HO) #Mathematical Software (cs.MS) #Programming Languages (cs.PL)