tpil-solutions My solutions to exercises in "Theorem Proving in Lean". More will be added as I go through the book.