English Proof assistant Cited by user Citation bot on 14 Dec 2020 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-mac…