Stream: Coq users

Topic: smooth manifolds in coq


view this post on Zulip Ben Siraphob (May 13 2021 at 14:20):

I tried looking around the web for this and via GitHub code search but didn't find anything. Is there a formalization of smooth manifolds in Coq? I would be fine with using a classical construction. There seems to be some papers on a formalization using Isabelle/HOL light, but none in Coq.


Last updated: Jan 28 2023 at 06:30 UTC