Topics_in_differential_geometry

Formalizing differential geometry with Isabelle

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
.Fiber_bundles.thy.marks		.Fiber_bundles.thy.marks
.gitignore		.gitignore
Analysis_More.thy		Analysis_More.thy
Chart.thy		Chart.thy
Fiber_bundles.thy		Fiber_bundles.thy
README.md		README.md
Topological_Manifold.thy		Topological_Manifold.thy

Provide feedback