Stream: math-comp users

Topic: ✔ Formal note-taking on "Introduction to Manifold"

view this post on Zulip abab9579 (Aug 16 2022 at 04:39):

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?

view this post on Zulip Notification Bot (Aug 20 2022 at 08:02):

abab9579 has marked this topic as resolved.

Last updated: Jul 23 2024 at 20:01 UTC