Repositories list

• PG

  Public
  This repo is the new home of Proof General

  integrated-development-environmentproof-assistantproof-general+ 3docker-coq-actionemacscoq

  Emacs Lisp

  •

  GNU General Public License v3.0

  •92•502•214•21•Updated Feb 28, 2025Feb 28, 2025

• proofgeneral.github.io

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

  CSS

  •

  MIT License

  •5•2•0•0•Updated Jan 29, 2025Jan 29, 2025

• opam-switch-mode

  Public
  Select OCaml opam switches via a menu or using a command

  emacsocamlopam+ 3merlinproof-generaltuareg

  Emacs Lisp

  •

  GNU General Public License v3.0

  •4•6•1•0•Updated Aug 2, 2023Aug 2, 2023