1. Home
  2. Science
  3. Mathematics
  4. Proof General

Science · Mathematics

Proof General

Listed in the directory · updated 23 Jul 2022

Visit website

Find them on

Share

About Proof General

Proof General- Comprehensive Gnu-Emacs and XEmacs interface for several theorem provers including Coq, Isabelle, Lego, and Phox.

Tags

Meetings

Where it sits

Science Mathematics

More in Mathematics

See all →