GitHub repository: learningstud/theorem_proving_in_lean4_solutions
Primary language: JavaScript
Description: Solutions to "Theorem Proving in Lean 4"