Projects in Awesome Lists tagged with proof-general
A curated list of projects in awesome lists tagged with proof-general .
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/cpitclaudel/company-coq
A Coq IDE build on top of Proof General's Coq mode
company-mode coq emacs integrated-development-environment proof-assistant proof-general
Last synced: 06 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/erikmd/tapfa-init.el
Environnement de TP pour OCaml et Coq avec GNU Emacs (UE TAPFA = Types Abstraits et Programmation Fonctionnelle Avancée)
coq emacs ocaml opam proof-general wsl
Last synced: 22 Mar 2025
https://github.com/corwin-of-amber/sane-coq
Configuring Proof General for use with Coq is hard and the defaults suck. This is a simple baseline configuration for Emacs.
coq emacs-configuration proof-general
Last synced: 05 May 2025
