Here we document the core Thmpr technologies and demonstrate how to use them for conjecture generation, decision making, formal proof, and software verification.

Quick Start

One page summary of how to install each of the core Thmpr technologies Quick Start →

Go further

Take a deeper dive into the documentation to get the most out of Thmpr technologies. Deep Dive →


Find out how to contribute to Doks. Contributing →


Get help on Doks. Help →


Find out who's responsible. Credits →