Popular repositories Loading

1. Lean-SNumbers Lean-SNumbers Public

   Lean4 formalization of s-numbers (in the sense of Pietsch) and important inequalities

   Lean 6 2

2. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean 1

3. Lean-Discretization Lean-Discretization Public

   Norm discretization in Lean 4 / Mathlib: L₂ discretization by generalized Batson–Spielman–Srivastava sparsification, and uniform discretization by the Kiefer–Wolfowitz theorem on optimal experiment…

   Lean 1 1

4. mario-ullrich.github.io mario-ullrich.github.io Public

   personal website

   HTML

5. TauCetiRoadmap TauCetiRoadmap Public

   Forked from TauCetiProject/TauCetiRoadmap

   Human-controlled roadmaps for Tau Ceti, an AIs-welcome Lean library downstream of Mathlib.

   Lean