AlphaUncommon
ProofGeneral/PG
This repo is the new home of Proof General
- Owner
- ProofGeneral (organization)
- Stars
- Stars: 562
- Forks
- Forks: 109
- Language
- Emacs Lisp
- License
- GPL-3.0
- Created
- 2015
- Topics
- proof-generalemacsintegrated-development-environmentproof-assistantcoqdocker-coq-action
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Emacs Lisp
All Emacs Lisp repos- rejeep/prodigy.elStars: 565Emacs LispAlpha
- spotify/dockerfile-modeStars: 564Emacs LispAlpha
- rougier/svg-tag-modeStars: 562Emacs LispAlpha
- the-ted/org-mind-mapStars: 559Emacs LispAlpha
- integral-dw/org-superstar-modeStars: 557Emacs LispAlpha
- conao3/leaf.elStars: 556Emacs LispAlpha