Spacemacs Coq
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Spacemacs Coq | 40 | 5 years ago | 9 | Emacs Lisp | ||||||
| A very simple coq layer for spacemacs | ||||||||||
| Spacemacs Coq | 6 | 8 years ago | Emacs Lisp | |||||||
| A simple spacemacs layer for Coq including Company-Coq and Proof General | ||||||||||
Alternatives To Spacemacs CoqSelect To Compare
Alternative Project Comparisons
Popular Spacemacs Projects
Popular Coq Projects
Popular Text Editors Categories
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Golang
Emacs Lisp
Coq
Spacemacs
Proof Assistant