Keyword:mathlib

Publications
Scalar Actions in Lean's Mathlib Eric Wieser EasyChair Preprint 6176