80 citations · 87 across the 7 of their papers we have counts for
1 paper · 1 filter
Sébastien Gouëzel
We report on the higher-order differential calculus library developed inside the Lean mathematical library mathlib. To support a broad range of applications, we depart in several w…