GitHub repository: urkud/DeRhamCohomology
Primary language: Lean
Created: 2024-11-22T19:46:21Z
Description: Formalization of de Rham cohomologies of a smooth manifold