Sign inSign up

ProofGeneral/PG

This repo is the new home of Proof General

Emacs LispStars 541Forks 100Watchers 541Open issues 245License GNU General Public License v3.0
Details
仓库信息
OwnerProofGeneral
Homepagehttps://proofgeneral.github.io
GitHubhttps://github.com/ProofGeneral/PG
Last pushed2025-11-20
Last updated2025-12-15
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--