FormalMathematicsLab/UniRome_Workshop_Lean_2024

Repository hosting resources for the 2024 workshop "Computer-Verified Proofs: 48 Hours in Rome" organised by @oliver-butterley, @RafaelGreenblatt and @marcolenci.

Lean