proof assistant

proof assistant

Automated proof checker, Automated proof verifier, Automated proof verifiicator, Automated theorem check, Automated theorem checker, Automated theorem checkers, automated theorem checking, Automated theorem verification, Automated theorem verificator, Automated theorem verifier, Automated theorem verifying, Interactive proof assistant, interactive theorem prover, interactive theorem proving, Interactive theorem proving software, List of interactive theorem provers, List of proof assistants, Machine-verified proof, proof assistants, Proof assitants, proof checker, proof checking, proof editor, Proof script, proof verification, Proof verifier, Theorem checker, Theorem checking

automated theorem prover, interactive theorem prover, theorem prover