Similar repositories to ImperialCollegeLondon/lean-groups:

• ImperialCollegeLondon/lean-groups github similar
• ImperialCollegeLondon/uniform-structures github similar
• ImperialCollegeLondon/M1P1-lean github similar
• ImperialCollegeLondon/M4P33 github similar
• leanprover-community/lftcm2020 github similar
• ImperialCollegeLondon/group-theory-game github similar
• arthurpaulino/lean4-metaprogramming-book github similar
• leanprover-community/tutorials github similar
• ImperialCollegeLondon/M40001_lean github similar
• mattearnshaw/lawvere github similar
• kbuzzard/xena github similar
• oxford-quantum-group/discopy github similar
• leanprover-community/mathlib github similar