avigad / group-representations Goto Github PK
View Code? Open in Web Editor NEWThis project forked from fpvandoorn/group-representations
The definition and basic properties of representations of groups in the Lean theorem prover
License: Apache License 2.0