quasimik / tp-lean

exercises for https://leanprover.github.io/theorem_proving_in_lean/

tp-lean

exercises for https://leanprover.github.io/theorem_proving_in_lean/