Theorem prover may refer to:

• Automated theorem prover
• Proof assistant, an interactive theorem prover

• Imperial Crown Jewels of Persia
• Imperial Crown of Brazil
• Imperial Crown of Mexico
• Imperial Crypt, Farnborough
• Imperial Crypt (Vienna)
• Imperial cult (Ancient Rome)
• Imperial cult of ancient Rome
• Imperial cult (Roman Empire)
• Imperial cult (Rome)
• Imperial Defence College
• Imperial Defense College
• Imperial de São Cristóvão
• Imperial deungeon ship
• Imperial diet
• Imperial Doom
• Imperial Drag (album)
• Imperial Duma
• Imperial Dungeoneer
• Imperial Dungeoneers
• Imperial Dungeon ship
• Imperial dungeon ship
• Imperial Dungeon Ship
• Imperial dungeon ships
• Imperial Dungeon ships
• Imperial Dynasty restaurant