Kalpa Publications

Author:Eric Wieser

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

Keyphrases

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

Copyright © 2012-2024 easychair.org. All rights reserved.