GitHub repository: wupr/groups-in-lean
Primary language: Lean
Created: 2023-11-09T23:34:05Z
Description: Formalisation in Lean 4 of undergraduate-level group-theoretic problems and solutions