phil310 OLP setup for a text for McGill's Phil 310, Intermediate Logic To compile, you need the Open Logic Project distribution from https://github.com/OpenLogicProject/OpenLogic Then clone this into the courses subdirectory.