Home

Jump to bottom Edit New page

Ryan Govostes edited this page Mar 12, 2018 · 9 revisions

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