# ProofGeneral/PG

<https://repo.masters-masters.com/en/repos/ProofGeneral/PG>

[Home](https://repo.masters-masters.com/en) › [ProofGeneral](https://repo.masters-masters.com/en/owners/ProofGeneral) › [PG](https://repo.masters-masters.com/en/repos/ProofGeneral/PG)

ProofGeneral/PG has 562 stars on GitHub. Its RepoMasters card: Alpha tier. This repo is the new home of Proof General Language: Emacs Lisp.

| Field | Value |
| --- | --- |
| Owner | [ProofGeneral](https://repo.masters-masters.com/en/owners/ProofGeneral) |
| Stars | 562 |
| Forks | 109 |
| Language | [Emacs Lisp](https://repo.masters-masters.com/en/languages/emacs-lisp) |
| License | GPL-3.0 |
| Created | 2015 |
| Topics | proof-general, emacs, integrated-development-environment, proof-assistant, coq, docker-coq-action |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [ProofGeneral/PG](https://github.com/ProofGeneral/PG) |

## Repository

This repo is the new home of Proof General

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## Nearby in Emacs Lisp

- [rejeep/prodigy.el · ★ 565 · Emacs Lisp · Alpha](https://repo.masters-masters.com/en/repos/rejeep/prodigy.el)
- [spotify/dockerfile-mode · ★ 564 · Emacs Lisp · Alpha](https://repo.masters-masters.com/en/repos/spotify/dockerfile-mode)
- [rougier/svg-tag-mode · ★ 562 · Emacs Lisp · Alpha](https://repo.masters-masters.com/en/repos/rougier/svg-tag-mode)
- [the-ted/org-mind-map · ★ 559 · Emacs Lisp · Alpha](https://repo.masters-masters.com/en/repos/the-ted/org-mind-map)
- [integral-dw/org-superstar-mode · ★ 557 · Emacs Lisp · Alpha](https://repo.masters-masters.com/en/repos/integral-dw/org-superstar-mode)
- [conao3/leaf.el · ★ 556 · Emacs Lisp · Alpha](https://repo.masters-masters.com/en/repos/conao3/leaf.el)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.