Lab 23: The Lean Theorem Prover Part II¶
This lab is a continuation of Lab 22: The Lean Theorem Prover Part I.
Task 1¶
Complete every level from each of the following worlds:
Implication World
Advanced Addition World
Inequality World
This lab is a continuation of Lab 22: The Lean Theorem Prover Part I.
Complete every level from each of the following worlds:
Implication World
Advanced Addition World
Inequality World