Welcome to the wiki for STP, the Simple Theorem Prover. This wiki is for STP development.

• For end-user documentation, please check Read the Docs
• For issues or requesting support, please file a bug
• For STP source code, see the Code tab