⚠ This page is served via a proxy. Original site: https://github.com
This service does not collect credentials or authentication data.
Skip to content
@ProofGeneral

ProofGeneral

Pinned Loading

  1. PG PG Public

    This repo is the new home of Proof General

    Emacs Lisp 544 99

  2. opam-switch-mode opam-switch-mode Public

    Select OCaml opam switches via a menu or using a command

    Emacs Lisp 9 4

Repositories

Showing 3 of 3 repositories

Top languages

Loading…

Most used topics

Loading…