A proof assistant, or interactive theorem prover, is a software tool to assist with the development of formal proofs by human-machine collaboration.

A proof assistant, or interactive theorem prover, is a software tool to assist with the development of formal proofs by human-machine collaboration.


Wikipedia