proof-general

There are 0 repository under proof-general topic.

• ProofGeneral / PG

  This repo is the new home of Proof General

  coqdocker-coq-actionemacsintegrated-development-environmentproof-assistantproof-general
  Language:Emacs Lisp 479

• cpitclaudel / company-coq

  A Coq IDE build on top of Proof General's Coq mode

  proof-generalcoqintegrated-development-environmentcompany-modeemacsproof-assistant
  Language:Emacs Lisp 347

• hide-kawabata / traf

  A proof tree viewer that works with Coq through Proof General

  proof-generalcoqproof-treetraf
  Language:OCaml 24

• juniorxxue / xcode-theme

  Xcode theme for Emacs

  emacs-themeemacs-modeemacs-themesproof-general
  Language:Emacs Lisp 16

• ProofGeneral / opam-switch-mode

  Select OCaml opam switches via a menu or using a command

  emacsmerlinocamlopamproof-generaltuareg
  Language:Emacs Lisp 5

• erikmd / tapfa-init.el

  Environnement de TP pour OCaml et Coq avec GNU Emacs (UE TAPFA)

  emacsopamocamlcoqproof-generalwsl
  Language:Emacs Lisp 4

• dk14 / proofs

  formal methods exercises

  coqproof-generalproof-assistant
  Language:Coq 1

• corwin-of-amber / sane-coq

  Configuring Proof General for use with Coq is hard and the defaults suck. This is a simple baseline configuration for Emacs.

  coqproof-generalemacs-configuration