isabelle - 伊莎贝尔发展统计
问题描述
我在 Isabelle 有一个漫长的发展过程,我想要一些关于定义的行数、语句的行数以及注释的行数的统计数据。
Isabelle 中是否包含任何这样的工具(例如 coqwc for coq)?我已阅读Isabelle 系统手册,但找不到任何相关内容。
解决方案
推荐阅读
- javascript - 如何在 takeUntil rxjs 函数之后采取行动
- html - 如何使用 JQuery 禁用按钮?
- python-3.x - 从 python 程序调用它时找不到 Lambda 函数
- excel - SumIf 在非活动工作表中并存储为数组元素
- typescript - ngrx 条件 API 调用
- boost - 将 boost::program_options 与 std::optional 一起使用
- webpack - 带有 PostCSS 8 的 Gatsby - 尝试导入错误:“component.module.css”不包含默认导出(导入为“样式”)
- php - 在foreach中加入数组元素
- excel - VBA - 尝试在选择时动态更改数据验证下拉框输出(崩溃)。Excel 2013
- javascript - 执行 GraphQL 突变时 Firefox 中的 ApolloError