Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: 10 Oct 2024
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: 02 Aug 2024
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: 10 Oct 2024
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: 04 Aug 2024
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: 28 Oct 2024
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: 10 Oct 2024
