Formalisation projets (Lean4)

Completed:

• Coxeter frieze patterns, formalisation page: https://github.com/Antoine-dSG/frieze_patterns, blueprint here.

• Root systems of type A, formalisation page: https://github.com/Antoine-dSG/root_system, blueprint here.

Ongoing:

• Laurent Phenomenon, formalisation page: https://antoine-dsg.github.io/laurent_phenomenon/, blueprint here.