ProofGeneral

ProofGeneral

Organization data from Github https://github.com/ProofGeneral

Home Page:https://proofgeneral.github.io/

GitHub:@ProofGeneral

ProofGeneral's repositories

PG

This repo is the new home of Proof General

Language:Emacs LispLicense:GPL-3.0Stargazers:541Issues:12Issues:560

opam-switch-mode

Select OCaml opam switches via a menu or using a command

Language:Emacs LispLicense:GPL-3.0Stargazers:7Issues:2Issues:9

proofgeneral.github.io

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

Language:CSSLicense:MITStargazers:2Issues:8Issues:2