ChrisHughes24

ChrisHughes24's Stars

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.6k641.8k406

• leanprover-community/mathlib3

  Lean 3's obsolete mathematical components library: please use mathlib4

  Language:Lean1.7k53362298

• leanprover-community/mathlib4

  The math library of Lean 4

  Language:Lean1.4k39399317

• hargoniX/Flame

  Language:Lean9221

• digama0/advent-of-code

  The Advent of Code programming puzzles in Lean

  Language:Lean7501

• leanprover-fork/mathlib-backup

  Lean standard library

  Language:Lean62203