GitHub repository: themathqueen/monlib
Primary language: Lean
Created: 2024-01-08T12:28:46Z
Description: Formalising non-commutative graph theory in Lean