@ProofGeneral
Guthub

ProofGeneral

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    495
  • Global Org. Rank 24,039 (Top 8 %)
  • Registered over 9 years ago
  • Most used languages
    Emacs Lisp
         66.7 %
    CSS
         33.3 %

Top repositories

1

PG

This repo is the new home of Proof General
Emacs Lisp
491
star
2

opam-switch-mode

Select OCaml opam switches via a menu or using a command
Emacs Lisp
5
star
3

proofgeneral.github.io

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