mmt
-
如何在 Windows 10 上将 MMT 注册为 Isabelle 组件（调用 isabelle mmt_build）？
-
如何在 MMT 中给出绝对 URI？获取 "unbound token: http" 和 "ill-formed constant reference"
-
两种理论之间的观点，包括 MMT 中的共同理论
-
找出在哪个 MMT 源文件中声明了 constant/theory/...
-
查找给定符号的 MMT Unicode 缩写（例如给定 ☞，查找 "juri"）
-
MMT 中的 `ref` 关键字有什么作用？
-
为什么我不能在 MMT（使用 PLF）中使用带有类型参数的定义？
-
如何从 MMT 中的结构访问常量和符号？
-
我如何 glue/identify 包含在 MMT 的两个结构中？