ProofGeneral

ProofGeneral

🏢 Organization

2 repositories on SrcLog

View on GitHub
2 Repos
565 Stars
113 Forks
14 Watchers

Repositories (2)

PG ProofGeneral/PG Emacs Lisp

This repo is the new home of Proof General

556
opam-switch-mode ProofGeneral/opam-switch-mode Emacs Lisp

Select OCaml opam switches via a menu or using a command

9