2 papers
cs.PL2025
Growing Mathlib: maintenance of a large scale mathematical library
Anne Baanen, Matthew Robert Ballard, Johan Commelin +3
The Lean mathematical library Mathlib is one of the fastest-growing libraries of formalised mathematics. We describe various strategies to manage this growth, while allowing for ch…
cs.LO2025
Certifying rings of integers in number fields
Anne Baanen, Alain Chavarri Villarello, Sander R. Dahmen
Number fields and their rings of integers, which generalize the rational numbers and the integers, are foundational objects in number theory. There are several computer algebra sys…