Explore relationships

Interactive theorem proving

In computer science and mathematical logic, a proof assistant or interactive theorem prover is a software tool to assist with the development of formal proofs by human–machine collaboration.

Use + to expand a branch. Click a topic name to open its summary.