Lab 23: The Lean Theorem Prover Part II
=======================================

This lab is a continuation of :doc:`lab22`.

Task 1
------

Complete every level from each of the following worlds:

#. Implication World
#. Advanced Addition World
#. Inequality World