Article · Wikipedia archive · Last revised Jul 24, 2026

Theorem prover

Theorem prover may refer to:Automated theorem prover Proof assistant, an interactive theorem prover

Last revised

Jul 24, 2026

Read time

≈ 1 min

Length

14 w

Citations

—

Source

Theorem prover may refer to:

Automated theorem prover
Proof assistant, an interactive theorem prover