如何从 coqdoc 页面中提取 Coq 源代码
How to pull Coq source code from coqdoc pages
有一个 specific library 我想使用，但这个问题也适用于其他库。其中许多都以印刷精美的 coqdoc 格式提供。从他们那里提取源代码的最简单方法是什么？只需复制并粘贴所有评论即可取消评论。
coqdoc 解析 Coq 的 .v 文件以提取文档信息，并且该语言提供了 .v 文件的 "hide" 部分的方法，因此它在文档。尝试将 .html 解析回 .v 可能无法按原样进行。
如果你想要文件的实际内容，最好的方法是获取 Coq 的源文件并从这里获取。如果你不想下载 Coq 的所有理论，你可以在 https://github.com/coq/coq/tree/trunk/theories
选择你想要的
有一个 specific library 我想使用，但这个问题也适用于其他库。其中许多都以印刷精美的 coqdoc 格式提供。从他们那里提取源代码的最简单方法是什么？只需复制并粘贴所有评论即可取消评论。
coqdoc 解析 Coq 的 .v 文件以提取文档信息，并且该语言提供了 .v 文件的 "hide" 部分的方法，因此它在文档。尝试将 .html 解析回 .v 可能无法按原样进行。
如果你想要文件的实际内容，最好的方法是获取 Coq 的源文件并从这里获取。如果你不想下载 Coq 的所有理论，你可以在 https://github.com/coq/coq/tree/trunk/theories
选择你想要的