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