20251205

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