A Lean formalization of the Classification of Finite Simple Groups
Repository Index
47,133 repositories indexed
1–2 of 2 · Most stars
Permutations and permutation groups in Common Lisp.
- permutations
- permutation-groups
- permutation-algorithms
- lisp
47,133 repositories indexed
1–2 of 2 · Most stars
A Lean formalization of the Classification of Finite Simple Groups
Permutations and permutation groups in Common Lisp.