https://github.com/proofgeneral/pg

This repo is the new home of Proof General

coq docker-coq-action emacs integrated-development-environment proof-assistant proof-general

Last synced: 15 May 2025

https://github.com/ProofGeneral/PG

This repo is the new home of Proof General

coq docker-coq-action emacs integrated-development-environment proof-assistant proof-general

Last synced: 21 Apr 2025

https://github.com/ProofGeneral/opam-switch-mode

Select OCaml opam switches via a menu or using a command

emacs merlin ocaml opam proof-general tuareg

Last synced: 13 May 2025

https://github.com/proofgeneral/opam-switch-mode

Select OCaml opam switches via a menu or using a command

emacs merlin ocaml opam proof-general tuareg

Last synced: 12 Apr 2025

https://github.com/proofgeneral/proofgeneral.github.io

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

Last synced: 26 Oct 2025