GitHub repository: InftyCat/BonnAnalysis
Primary language: Lean
Created: 2024-04-15T12:06:07Z
Description: repository for the collaborative formalization seminar in Analysis in Bonn