GitHub repository: leanprover/theorem_proving_in_lean4
Primary language: Lean
Created: 2021-08-24T18:41:33Z
Description: Theorem Proving in Lean 4