AlphaPeu commune
cpitclaudel/company-coq
A Coq IDE build on top of Proof General's Coq mode
- Propriétaire
- cpitclaudel (compte personnel)
- Étoiles
- Étoiles : 361
- Forks
- Forks : 32
- Langage
- Emacs Lisp
- Licence
- GPL-3.0
- Création
- 2015
- Sujets
- proof-generalcoqintegrated-development-environmentcompany-modeemacsproof-assistant
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de cpitclaudel
Les 5 dépôts de cpitclaudel- cpitclaudel/monospacifierÉtoiles : 434PythonAlpha
- cpitclaudel/alectryonÉtoiles : 328HTMLAlpha
- cpitclaudel/biblio.elÉtoiles : 219Emacs LispPrototype
- cpitclaudel/z3.wasmÉtoiles : 152ShellPrototype
D’autres dépôts Emacs Lisp
Tous les dépôts Emacs Lisp- bbatsov/super-saveÉtoiles : 363Emacs LispAlpha
- emacs-tree-sitter/tree-sitter-langsÉtoiles : 363Emacs LispAlpha
- ArthurHeymans/emacs-tramp-rpcÉtoiles : 362Emacs LispAlpha
- defunkt/textmate.elÉtoiles : 360Emacs LispAlpha
- sebastiw/edtsÉtoiles : 360Emacs LispAlpha
- lepisma/rogueÉtoiles : 360Emacs LispAlpha