Author:Eric Wieser

Publications
EasyChair Preprint 6176

Keyphrases

group actions, Lean, mathlib, typeclass diamonds, typeclasses.