ProofGeneral

WARNING: THIS SITE IS A MIRROR OF GITHUB.COM / IT CANNOT LOGIN OR REGISTER ACCOUNTS / THE CONTENTS ARE PROVIDED AS-IS / THIS SITE ASSUMES NO RESPONSIBILITY FOR ANY DISPLAYED CONTENT OR LINKS / IF YOU FOUND SOMETHING MAY NOT GOOD FOR EVERYONE, CONTACT ADMIN AT ilovescratch@foxmail.com

opam-switch-mode Public

proofgeneral.github.io Public
Sources for the Proof General website at https://proofgeneral.github.io/

ProofGeneral/proofgeneral.github.io’s past year of commit activity

CSS 2 MIT 5 0 0 Updated Nov 20, 2025
PG Public
This repo is the new home of Proof General

ProofGeneral/PG’s past year of commit activity

Emacs Lisp 541 GPL-3.0 99 229 (2 issues need help) 15 Updated Nov 20, 2025
opam-switch-mode Public
Select OCaml opam switches via a menu or using a command

ProofGeneral/opam-switch-mode’s past year of commit activity

Emacs Lisp 9 GPL-3.0 4 1 (1 issue needs help) 0 Updated Aug 2, 2023

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

ProofGeneral

Pinned Loading

Repositories

Uh oh!

Uh oh!

Uh oh!

People

Top languages

Uh oh!

Most used topics

Uh oh!