Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by ProofGeneral
A curated list of projects in awesome lists by ProofGeneral .
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/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