Formalisation projets (Lean4)

Ongoing:

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

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