GitHub repository: pechersky/theorem_proving_in_lean
Description: Theorem proving in Lean