TheoremProvers < PG

PG Web>TheoremProvers (21 Aug 2006, DavidAspinall) (raw view)EditAttach

---+ Interactive Theorem Provers and Proof General

Proof General is designed to support interactive theorem provers that
have a particular architecture.

*Supported theorem provers*
   * Isabelle, see TheoremProverIsabelle
   * Coq
   * PhoX


-- Main.DavidAspinall - 21 Aug 2006

Topic revision: r1 - 21 Aug 2006 - 14:13:05 - DavidAspinall

PG Web
PG Web Home
Changes
Index
Search
Notifications
RSS Feed

Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
This Wiki uses Cookies