PG

emacs

This repo is the new home of Proof General

How to download and setup PG

Open terminal and run command

git clone https://github.com/ProofGeneral/PG.git

git clone is used to create a copy or clone of PG repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with PG https://github.com/ProofGeneral/PG/archive/master.zip

Or simply clone PG with SSH

[email protected]:ProofGeneral/PG.git

If you have some problems with PG

You may open issue on PG support forum (system) here: https://github.com/ProofGeneral/PG/issues

Similar to PG repositories

Here you may see PG alternatives and analogs

themecreator dracula-theme lazyblorg spacemacs dotfiles dotfiles Emacs-Elisp-Programming eslint_d.js books-pdf remacs merlin helm-gitignore import-js term-plus-el cider nyxt awesome-emacs magit projectile helm use-package know-your-http-well flycheck doomemacs Spacemacs-rocks smartparens slime intero lsp-mode Indium