GitHub repository: madeve-unipi/BonnAnalysis
Primary language: Lean
Description: repository for the collaborative formalization seminar in Analysis in Bonn