Index
STP
The Simple Theorem Prover
Overview
Building STP
Architecture
Array extensionality
Incremental solving
Source code layout
Testing
Making a release
Benchmarks
Source code on GitHub
