Pinned Loading

1. quiver quiver Public

   A web based game about Category Theory written in Lean 4

   Lean 2

2. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

3. formal-conjectures formal-conjectures Public

   Forked from google-deepmind/formal-conjectures

   A collection of formalized statements of conjectures in Lean.

   Lean

4. infinity-cosmos infinity-cosmos Public

   Forked from emilyriehl/infinity-cosmos

   A blueprint for a formalization of infinity-cosmos theory in Lean.

   TeX