Article · Wikipedia archive · Last revised Jun 6, 2026

Theorem prover

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

Last revised

Jun 6, 2026

Read time

≈ 1 min

Length

14 w

Citations

—

Source

Theorem prover may refer to:

Automated theorem prover
Proof assistant, an interactive theorem prover