GitHub repository: Happyves/Discrete_Math_in_Lean_3
Primary language: Lean
Created: 2023-06-10T17:03:27Z
Description: This is a resource for learning how to formalize math in Lean 3, with a focus on discrete math.