A Lean formalization of the Classification of Finite Simple Groups
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
Permutations and permutation groups in Common Lisp.
- permutations
- permutation-groups
- permutation-algorithms
- lisp
Pattern matching for the monads in the cats Clojure library
- clojure
- clojurescript
- pattern-matching