20251205

I have formalized (see here) some of the main results of Flimsy Spaces in Lean 4. Pour les francophones, vous trouverez aussi une petite présentation vidéo d’une des preuves de l’article.