GitHub repository: kaya-o/Understanding-Analysis-in-Lean
Primary language: Lean
Description: Group Project Consisting of Patrick Paetsch, Jesstine Wangsawibawa and Onur Kaya for Praktikum Formalization in Lean WiSe24/25