Install

A list of software to install

Python

1. Go to Python 3.12.5 and download the Windows installer (64-bit).

2. Execute the installer and make sure to check the box underneath that says Add python.exe to path.

   

   Note

   If your username contains a space, use a location that doesn't spaces in it.

Visual Studio Code

1. Go to Visual Studio Code and download VS Code.

2. Select I accept the agreement to begin with.

   

3. Check all the boxes in the Other section.

   

4. Then Install.

   

5. After installation, make sure to install two handy extensions.

   Look for Extensions on the left-hand panel and Search

   • python
   • indent-rainbow
   • jupyter

   

   

Microsoft C++ Build Tools

1. Go to Microsoft C++ Build Tools and download Build Tools.

2. Check Desktop development with C++ then Install.

   

Prover9-Mace4

1. Go to Prover9-Mace4 v05 and download installer and patch file.

2. Simply click Next all the way.

   

3. Then Install.

   

4. Copy and paste the patch file to C:\Program Files (x86)\Prover9-Mace4.

   

Git

1. Go to Git - Downloads and get installer.

2. Simply click Next all the way.

   

3. Then Install.

   

Windows Terminal

1. Open Microsoft Store from start menu and look for "Windows Terminal".

   

2. Get the application.