Lean 4 code and some slides for the NCM workshop on Groups and Computations at KREA, July 2023
Primary LanguageLeanApache License 2.0Apache-2.0