Main.lean

import MyNat
import MyNat.addition_world
import MyNat.advanced_addition_world
import MyNat.advanced_multiplication_world
import MyNat.advanced_proposition_world
import MyNat.function_world
import MyNat.inequality_world
import MyNat.le
import MyNat.lemma
import MyNat.multiplication_world
import MyNat.power_world
import MyNat.proposition_world
import MyNat.tutorial_world

def main : IO Unit :=
  IO.println "Hello, "