Keyword:mathlib

Papers
Scalar Actions in Lean's Mathlib Eric Wieser EasyChair Preprint no. 6176