coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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
- [Coq-Club] Differential Geometry Module Proposal, Larry Lee, 08/09/2018
- Re: [Coq-Club] Differential Geometry Module Proposal, Li-yao Xia, 08/09/2018
- Re: [Coq-Club] Differential Geometry Module Proposal, Thomas Burdick, 08/13/2018
Archive powered by MHonArc 2.6.18.