Skip to main content

Use this tag for basic setup and installation of theorem prover software.

Installing a theorem prover is one of the hardest steps for a person new to theorem provers. This is especially so for mathematicians who don't use computers as much a you might think. If you are a computer user helping out a mathematician but mindful of your world and their world.