Beast code in Giters

ProofGeneral's repositories

This repo is the new home of Proof General

Language:Emacs LispGPL-3.0479 13 521

Select OCaml opam switches via a menu or using a command

Language:Emacs LispGPL-3.05 2 9

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

Language:CSSMIT200