GitHub repository: 61811426919111/Formalization-SoSe25
Primary language: Lean
Description: Teaching Material for Course on Formalization Summer Semester 2025 at Uni Greifswald