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: Jun 18 2024 at 22:01 UTC