Keyword:Lean

Papers
Formalizing the Gromov-Hausdorff Space Sébastien Gouëzel EasyChair Preprint no. 6179
Scalar Actions in Lean's Mathlib Eric Wieser EasyChair Preprint no. 6176
Model of Quality Management Applied in Lean Green Agriculture Methodology: A Research in Perú Sebastian Manrique, Kevin Sabogal, Fernando Sotelo and Edgar Ramos EasyChair Preprint no. 3687
Understanding Lean Six Sigma 4.0 through Golden Circle Model Ashwani Sharma and Bikram Jit Singh EasyChair Preprint no. 3314