Download the LogicLab

The most recent standalone version of the LogicLab is available for Windows (requires Windows 10 or higher), Mac (requires MacOS 12 or higher), and Linux via the links below. 

The standalone version can be used in conjunction with any version of Logic & Proofs. 

If you are enrolled in an academic version, please be sure to check and follow your instructor's guidelines and instructions regarding the standalone version—lab assignments will typically need to be completed in the online version to count for credit in both academic and certificate versions of Logic & Proofs.