Category:Free theorem provers
Here is a list of articles in the category Free theorem provers of the Software portal. 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.
Pages in category "Free theorem provers"
The following 19 pages are in this category, out of 19 total.
- Coq (software)
- HOL Light (software)
- Isabelle (proof assistant) (software)
- Jape (software)
- KeY (software)
- Otter (theorem prover) (software)