Popular repositories Loading

1. kolmogorov-complexity-lean kolmogorov-complexity-lean Public

   Formalization of Algorithmic Information Theory in Lean 4

   Lean 5

2. LogicKolmogorov LogicKolmogorov Public

   Lean 2

3. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

4. AlexeyMilovanov.github.io AlexeyMilovanov.github.io Public

   HTML

5. batteries batteries Public

   Forked from leanprover-community/batteries

   The "batteries included" extended library for the Lean programming language and theorem prover

   Lean

6. Foundation Foundation Public

   Forked from FormalizedFormalLogic/Foundation

   Formalization of Mathematical Logic

   Lean