ProofGeneral / PG
git clone https://github.com/ProofGeneral/PG.git
This repo is the new home of Proof General
+0
stars, 24h · #70,353
+0
stars, 7 days · #69,080
+~0
stars, 30 days · #70,395
564
★ total
109
forks · 236 open issues
Star history (as recorded here)
LanguageEmacs Lisp
LicenseGPL-3.0
Created2015-09-21 (11y ago)
Last push2d ago
OwnerOrganization
GitHub topics
Links
- GitHub: github.com/ProofGeneral/PG
- Homepage: https://proofgeneral.github.io
- Releases · Issues · Hacker News mentions
README
Loading README…