2 citations · 4 across the 14 of their papers we have counts for
1 paper · 1 filter
Riccardo Brasca, Gabriella Clemente
This article is about the formalization of synthetic differential geometry with the Lean proof assistant and the mathematical library mathlib. The main result we prove and formaliz…