Popular repositories Loading

1. vdw vdw Public

   Find improved lower bounds for van der Waerden numbers

   C++

2. mathematics_in_lean mathematics_in_lean Public

   Forked from leanprover-community/mathematics_in_lean

   The user home repository for the Mathematics in Lean tutorial.

   HTML

3. mathematics_in_lean_source mathematics_in_lean_source Public

   Forked from avigad/mathematics_in_lean_source

   Source code for the Mathematics in Lean tutorial.

   Lean

4. leanprover-community.github.io leanprover-community.github.io Public

   Forked from leanprover-community/leanprover-community.github.io

   Hosts the website for mathlib and other Lean community infrastructure.

   CSS

5. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

6. lean4-logic2 lean4-logic2 Public

   Forked from FormalizedFormalLogic/Foundation

   Lean4 Logic Formalization

   Lean