GitHub repository: project-numina/combinatorics
Primary language: Lean
Description: A Lean 4 library on combinatorics as an enhancement to mathlib4.