ctrl+shift+p filters: :st2 :st3 :win :osx :linux
浏览

Abella

作者 JimmyZJX ST3

未提供描述

标签 语言语法，证明助理

详细信息

  • 0.2.6
  • github.
  • github.
  • 3年前
  • 23分钟前
  • 4年前

安装次数

  • 总数 1K
  • Win 1K
  • Mac 151
  • Linux 93
8月6日 8月5日 8月4日 8月3日 8月2日 8月1日 7月31日 7月30日 7月29日 7月28日 7月27日 7月26日 7月25日 7月24日 7月23日 7月22日 7月21日 7月20日 7月19日 7月18日 7月17日 7月16日 7月15日 7月14日 7月13日 7月12日 7月11日 7月10日 7月9日 7月8日 7月7日 7月6日 7月5日 7月4日 7月3日 7月2日 7月1日 6月30日 6月29日 6月28日 6月27日 6月26日 6月25日 6月24日 6月23日
Windows 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 0 0 2 1 1 0 0 1 0 0 0 0 0 0 1
Mac 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Linux 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1

README

源代码
raw.githubusercontent.com

Abella for Sublime Text 3

提供对Sublime Text 3中Abella定理证明器的支持。

此插件的开发主要基于ST的Coq插件。

安装

安装Sublime Abella推荐使用软件包控制。

也可以使用git进行安装。转到Sublime Text的软件包文件夹，然后运行：

git clone [email protected]:JimmyZJX/SublimeAbella.git Abella

使用方法

您需要在ST3中打开一个Abella脚本文件 (*.thm)，以下默认快捷键应该可以正常工作： | | | | —————- | —————————————————————— | | Ctrl+Enter |（如果需要）启动Abella并导航到光标位置 | | Ctrl+Down | 导航到下一个语句 | | Ctrl+Up | 撤销上一个语句 | | Ctrl+Right | 导航到光标位置（基本上等同于Ctrl+Enter） | | Ctrl+Left | 重新加载Abella并转到光标位置 | | Ctrl+Shift+Down | 导航到文件末尾 | | Ctrl+Shift+Enter | 杀死Abella并重置状态 | | Ctrl+';' | 查找并显示定理 | | Alt+S | 执行“搜索”命令，如果成功则更新证明脚本 | | Ctrl+B | 编译当前文件（这是标准ST“构建”命令） |

同样还有一些用于编写证明的快捷键： | | | | ——— | ———————————————— | | Ctrl+7 | （7代表“&”，与）插入文本“ /\ ” | | Ctrl+'\' | （'\''代表“ | ”，或）插入文本“ \/ ” | | Ctrl+'.' | （'.'代表“>”，箭头）插入文本“ -> ” |

注意，在OSX上，ctrl键被替换为cmd（super）。

自动下一项

当启动Abella插件时，插入一个 '.' 结尾的下一个策略会自动触发导航到该策略（等同于 Ctrl+Enter/Down）。

可执行文件

默认情况下，abella可执行文件应在路径中。

如果您想更改位置，请编辑您的用户设置 abella.exec，并将其指向正确的 文件。默认值是 abella，您可以根据需要更改为 /path/to/abella。首选项文件可在 [首选项 - 包设置 - Abella] 中找到。

突出显示

为了为文件的证明部分提供漂亮的背景突出显示，请将以下代码片段添加到您的颜色方案文件中。

（如果您不确定我在说什么，请安装插件 PackageResourceViewer，执行命令 PackageResourceViewer: Extract Package，然后选择 Color Scheme - Default，接着点击 首选项-浏览包，找到并编辑 Color Scheme - Default/Monokai.sublime-color-scheme）

对于 tmTheme 语法

深色主题

<dict>
  <key>name</key>
  <string>Proven with Abella</string>
  <key>scope</key>
  <string>meta.abella.proven</string>
  <key>settings</key>
  <dict>
    <key>background</key>
    <string>#365A28</string>
    <key>foreground</key>
    <string>#51873C</string>
  </dict>
</dict>

浅色主题

<dict>
  <key>name</key>
  <string>Proven with Abella</string>
  <key>scope</key>
  <string>meta.abella.proven</string>
  <key>settings</key>
  <dict>
    <key>background</key>
    <string>#002800</string>
  </dict>
</dict>

对于 sublime-color-scheme 语法

深色主题

{
    "name": "Proven with Abella",
    "scope": "meta.abella.proven",
    "background": "#365A28",
    "foreground": "#51873C"
},

浅色主题

{
    "name": "Proven with Abella",
    "scope": "meta.abella.proven",
    "background": "#002800",
},