Sandbox for LEAN exercises from "Logic and Proof" book - View it on GitHub