proof assistant

Also known as interactive theorem prover, theorem prover, automated theorem prover

software tool to assist with the development of formal proofs by human-machine collaboration