Image by HeungSoon on Pixabay · Pixabay License
proof assistant
Sign in to saveAlso known as interactive theorem prover, theorem prover, automated theorem prover
software tool to assist with the development of formal proofs by human-machine collaboration