GitHub repository: ktlmchv/hackathon25apr
Primary language: Lean
Created: 2023-04-25T09:15:19Z
Description: Coxeter theory group