作者
Ivan Chien
Coq
Emacs
主要记录一下 Emacs 中 Proof General 和 company-coq 的快捷键，以及在我的 zero.emacs 中定义的快捷键：
| 命令 | Proof General 默认 | zero.emacs 默认 |
|---|---|---|
| proof-goto-point | C-c RET | s-RET |
| coq-Search | C-c C-a C-a | C-c a |
主要记录一下 Emacs 中 Proof General 和 company-coq 的快捷键，以及在我的 zero.emacs 中定义的快捷键：
| 命令 | Proof General 默认 | zero.emacs 默认 |
|---|---|---|
| proof-goto-point | C-c RET | s-RET |
| coq-Search | C-c C-a C-a | C-c a |