GitHub repository: siddhartha-gadgil/GroupComp
Primary language: Lean
Description: Lean 4 code and some slides for the NCM workshop on Groups and Computations at KREA, July 2023