Hello, I would like to know how to go with formal proofs on definition and basic properties of manifolds. The goal is for me to understand the concept of manifolds, and know what kind of structure is being constructed for this field. Basically, I want a formal note-taking. Hence I would not like to read through an already written proofs for manifold theory. Do you have any directives or recommendations?

Also, is there an introduction of homotopy theory close to constructive style? I was going through Munkres Topology, yet found the inclusions hard to deal with in homotopy.

Thanks in advance!

EDIT: I got a DM introducing coq analysis library which does satisfy my need. So, resolved, I guess?

abab9579 has marked this topic as resolved.

Last updated: Jul 23 2024 at 20:01 UTC