GitHub repository: Antoine-dSG/frieze_patterns
Primary language: Lean
Created: 2024-07-15T09:19:24Z
Description: A project to formalise Coxeter's frieze patterns