Jump to content

Category:Free theorem provers

From Wikipedia, the free encyclopedia

This is the current revision of this page, as edited by Gioto (talk | contribs) at 08:55, 7 April 2012. The present address (URL) is a permanent link to this version.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

This is a category of articles relating to software which can be freely used, copied, studied, modified, and redistributed by everyone that obtains a copy: "free software" or "open source software". Typically, this means software which is distributed with a free software license, and whose source code is available to anyone who receives a copy of the software.

High Assurance (for Security or Safety) and Free-Libre / Open Source Software (FLOSS) has a list.

Pages in category "Free theorem provers"

The following 17 pages are in this category, out of 17 total. This list may not reflect recent changes.

A

ACL2

C

Coq (software)

E

E (theorem prover)

H

HOL Light

I

Isabelle (proof assistant)

J

Jape (software)

K

KeY

M

O

Otter (theorem prover)

P

S

Retrieved from "https://en.wikipedia.org/w/index.php?title=Category:Free_theorem_provers&oldid=486050264"