import AdvancedPropositionWorld.Level1
import AdvancedPropositionWorld.Level2
import AdvancedPropositionWorld.Level3
import AdvancedPropositionWorld.Level4
import AdvancedPropositionWorld.Level5
import AdvancedPropositionWorld.Level6
import AdvancedPropositionWorld.Level7
import AdvancedPropositionWorld.Level8
import AdvancedPropositionWorld.Level9
import AdvancedPropositionWorld.Level10

Advanced proposition world.

In this world we will learn six key tactics needed to solve all the levels of this world, namely constructor, cases, rcases, left, right, and exfalso. These, and use (which we'll get to in Inequality World) are all the tactics you will need to understand all the levels of the tutorial.

Let's dive in: Level 1