Category:Free theorem provers
{{Portal box|Free software|Mathematics}}
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.
- [http://www.dwheeler.com/essays/high-assurance-floss.html High Assurance (for Security or Safety) and Free-Libre / Open Source Software (FLOSS)] has a list.