PG

ProofGeneral

This repo is the new home of Proof General

emacs

View on GitHub Website

556 Stars

108 Forks

12 Watchers

Emacs Lisp Language

gpl-3.0 License

100 SrcLog Score

Cost to Build

$2.63M

Market Value

$11.52M

How is this calculated?

Growth over time

10 data points · 2021-08-01 → 2026-08-01

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about PG

Question copied to clipboard

What is the ProofGeneral/PG GitHub project? Description: "This repo is the new home of Proof General". Written in Emacs Lisp. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone PG

Clone via HTTPS

git clone https://github.com/ProofGeneral/PG.git

Clone via SSH

[email protected]:ProofGeneral/PG.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the PG issue tracker:

Open GitHub Issues

Similar to PG

spacemacs dracula-theme awesome-emacs magit cider remacs projectile helm use-package know-your-http-well flycheck core Spacemacs-rocks smartparens slime merlin intero lsp-mode Indium irony-mode dumb-jump org-brain emacs-anywhere emacs-document tide sx.el emacs-slack emacs-which-key clj-refactor.el all-the-icons.el