AlphaUncommon
cpitclaudel/company-coq
A Coq IDE build on top of Proof General's Coq mode
- Owner
- cpitclaudel (personal account)
- Stars
- Stars: 361
- Forks
- Forks: 32
- Language
- Emacs Lisp
- License
- GPL-3.0
- Created
- 2015
- Topics
- proof-generalcoqintegrated-development-environmentcompany-modeemacsproof-assistant
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by cpitclaudel
All 5 repos by cpitclaudel- cpitclaudel/monospacifierStars: 434PythonAlpha
- cpitclaudel/alectryonStars: 328HTMLAlpha
- cpitclaudel/biblio.elStars: 219Emacs LispPrototype
- cpitclaudel/z3.wasmStars: 152ShellPrototype
Nearby in Emacs Lisp
All Emacs Lisp repos- bbatsov/super-saveStars: 363Emacs LispAlpha
- emacs-tree-sitter/tree-sitter-langsStars: 363Emacs LispAlpha
- ArthurHeymans/emacs-tramp-rpcStars: 362Emacs LispAlpha
- defunkt/textmate.elStars: 360Emacs LispAlpha
- sebastiw/edtsStars: 360Emacs LispAlpha
- lepisma/rogueStars: 360Emacs LispAlpha