A Coq IDE build on top of Proof General's Coq mode
- proof-general
- coq
- integrated-development-environment
- company-mode
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
Neovim colorscheme with terminal-wide contrib themes
- lua
- neovim
- neovim-colorscheme
- bat-theme
Automatic Haskell setup in Emacs, for Nix users