Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Differential Geometry Module Proposal

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Differential Geometry Module Proposal


Chronological Thread 
  • From: Larry Lee <llee454 AT gmail.com>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] Differential Geometry Module Proposal
  • Date: Thu, 9 Aug 2018 14:30:34 -0400
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=llee454 AT gmail.com; spf=Pass smtp.mailfrom=llee454 AT gmail.com; spf=None smtp.helo=postmaster AT mail-oi0-f53.google.com
  • Ironport-phdr: 9a23:7btIcxzEkOXr7inXCy+O+j09IxM/srCxBDY+r6Qd1ewVIJqq85mqBkHD//Il1AaPAd2Fraocw8Pt8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94HSbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeuBWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbOSxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDwULs6Wymt771zRRHohikJNCM3/n/LhcFrlq1XvAisqgZjz4LIYoyYMud1cKPHfdMdQGpMRsBfWDZbAoOmb4oEEuwPMvhGoILgoFYOqR++CheyC+7gyjJFiWT73aI/0+s7EAHG2BYsEM4JsHTRtdj4MroZX+OtzKTQ0znPc/db1S3+5YXIaBwtv+yAULFqfcfRx0QiER7OgE+Kpoz/JTyV0/wAs2iF4OpkUuKik2snpBtwojir38ssjYjJip4MxlDK9Sh0zpw5JdK/SE58bt6kFIVfuzuGOItxR8MuW2BouCAkxb0aoZO3YjQGxZA9yxPca/GLaZaE7g/gWeqLITp1imppeLeliBaz9UigxPf8Vs6x0FtSqipFlsfDuW4C2hHT5cWKUfR9/kK71jaO0wDf8P1LIUcxlabDMZ4u3qYwloYPsUTEBiL5hEL2jLaPeko4/uio9v/ob679pp6cMo90khvxPr4vmsy5G+Q4MxIBU3KV+eSmh/Xf+hjyR6wPhfkrmIHYtorbLIIVvP2XGQhQh6Iq8QyuRxOr3ZxMmX0KIQ4YJDqIioHoPxfFJ/WuXqT3uEiljDo+n6OOBbbmGJiYdiGSwoekRq507gtn8CR2yNle45xODbRYeaD8X0bwsJrTCRpralXokdaiM81008YlYUzKGrWQafqAvlqB5+ZpKO6JNtdM5WTNbsM97vurtkcX3F8Qea7zgMkSYXG8W/NnewCXPCGqjdAGHmMH+AE5Sb6yhQ==

Hi,

I'm looking for mathematical fields that currently do not have any contributed developments and noticed that none of the modules listed in the Coq Package Index appeared to cover differential geometry. I'd like to develop a module covering basic results, but I'd like to avoid duplicating existing work. Does anyone know of any Coq modules that cover Differential Geometry? If not, would anyone like to share any recommendations/requests concerning the new module?

Thanks,
- Larry Lee



Archive powered by MHonArc 2.6.18.

Top of Page