Pinned Loading

1. leanprover-community/mathlib3 leanprover-community/mathlib3 Public archive

   Lean 3's obsolete mathematical components library: please use mathlib4

   Lean 1.7k 289

2. leanprover-community/leanprover-community.github.io leanprover-community/leanprover-community.github.io Public

   Hosts the website for mathlib and other Lean community infrastructure.

   CSS 81 190

3. mathlib mathlib Public

   Forked from leanprover-community/mathlib3

   Lean mathematical components library

   Lean