ProofGeneral

Repositories

• PG

  This repo is the new home of Proof General

  emacs integrated-development-environment coq proof-assistant proof-general
  Emacs Lisp GPL-2.0 70 376 173 (3 issues need help) 13 Updated Jul 15, 2021

• proofgeneral.github.io

  Sources for the Proof General website at https://proofgeneral.github.io/
  CSS MIT 2 0 0 0 Updated Feb 27, 2021