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.
Lean 4 code and some slides for the NCM workshop on Groups and Computations at KREA, July 2023
LeanApache-2.0
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.