Keyword:typeclasses

Publications
Automatically Generalizing Theorems Using Typeclasses Alexander Best EasyChair Preprint 6216
Scalar Actions in Lean's Mathlib Eric Wieser EasyChair Preprint 6176