Introduction

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 →

Contributing

Find out how to contribute to Doks. Contributing →

Help

Get help on Doks. Help →

Credits

Find out who's responsible. Credits →