English Proof assistant Cited by user RDBrown on 09 Sep 2022 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…