GitHub repository: Daniel-Packer/mathlib_knot_theory
Primary language: Lean
Description: Trying to add knot theory to the mathlib project