GitHub repository: lyzhang0113/intro-to-logic.slt
Description: Way the logic approach