/SciLean/Modules/FiniteElement/
/SciLean/Analysis/Calculus/HasParamDerivWithDisc
/SciLean/Analysis/Diffeology/
/SciLean/Geometry/Bezier.lean
/SciLean/Geometry/Shape/
/SciLean/Meta/DerivingAlgebra.lean
/SciLean/Meta/DerivingOp.lean
/SciLean/Modules/Geometry/
/SciLean/Modules/ML.lean
/SciLean/Modules/ML/
/SciLean/Modules/PhysicalUnits/
/SciLean/Modules/Prob/
/SciLean/Modules/SolversAndOptimizers/
/SciLean/Modules/Interpolation/
/SciLean/Modules/Symbolic/
/SciLean/SpecialFunctions/
/SciLean/Core_old/
/SciLean/Mathlib_old/
/SciLean/Interpolate.lean
/SciLean/Doodle*
/SciLean/Examples/
*_old*