forrest-kennedy

forrest-kennedy's Stars

• leanprover-community/mathlib4

  The math library of Lean 4

  Language:Lean1.4k314

• erkmos/haskell-companies

  A gently curated list of companies using Haskell in industry

  940136