GitHub repository: AviCraimer/lean-math-logic-exploration
Primary language: Lean
Created: 2023-12-29T02:43:04Z
Description: My attempts to define and prove things about various concepts from math an logic using the Lean 4 theorem proving language.