# 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.

### A

- ACL2
*(computing)* - Albatross (programming language)
*(computing)*

### C

- Coq
*(software)*

### E

- E (theorem prover)
*(software)* - E theorem prover
*(software)*

### H

- HOL Light
*(software)*

### I

- Isabelle (proof assistant)
*(software)*

### J

- Jape
*(software)*

### K

- KeY
*(software)*

### M

- Matita
*(software)* - Metamath
*(software)* - Models And Counter-Examples
*(software)*

### O

- Otter (theorem prover)
*(software)*

### P

- Paradox (theorem prover)
*(software)* - PhoX
*(software)* - Prototype Verification System
*(computing)* - Prover9
*(software)*

### S

- SNARK (theorem prover)
*(software)* - SPASS
*(software)*