GitHub repository: ImperialCollegeLondon/group-theory-game
Primary language: Lean
Description: Building group theory from scratch in Lean