GitHub repository: lovettchris/theorem_proving_in_lean4
Primary language: JavaScript
Description: Theorem Proving in Lean 4