108
GitHub - olivierverdier/spacemacs-coq: A very simple coq layer for spacemacs
source link: https://github.com/olivierverdier/spacemacs-coq
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
Description
This layer adds support for the Proof General interface to the Coq Proof Assistant.
Features
- Loads the company-coq extension
Install
Layer
To use this configuration layer,
clone this repository into ~/emacs.d/private/.
You will need to add coq as one of the
dotspacemacs-configuration-layers
in your ~/.spacemacs file.
Dependencies
- Coq (of course)
- Proof general
Keybindings
| Key | Description |
|---|---|
SPC m <dotspacemacs-major-mode-leader-key> | go to this point |
SPC m n | go to next point |
SPC m u | go to previous point |
SPC m h | help at point |
SPC m x | quit Coq |
SPC m ll | Layout: reset |
SPC m lp | Layout: proof |
SPC m s | Search a theorem |
SPC m ? | Check |
SPC m p | |
SPC m ; | insert goal as comment |
SPC m o | occur |
M-k | go to previous point |
M-j | go to next point |
M-l | go to this point |
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK