GitHub repository: nimarasekh/Formalization-SoSe25
Primary language: Lean
Created: 2025-03-04T20:54:22Z
Description: Teaching Material for Course on Formalization Summer Semester 2025 at Uni Greifswald