/GroupComp

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

GroupComp

Lean 4 code and some slides for the NCM workshop on Groups and Computations at KREA, July 2023.

A convenient way to explore these files is to use the Lean web editor. Just copy and paste the contents of a file in the editor.