Pinned Loading

1. leanprover-community/mathlib4 leanprover-community/mathlib4 Public

   The math library of Lean 4

   Lean 2.6k 932

2. leanprover-community/lean4game leanprover-community/lean4game Public

   Server to host lean games.

   TypeScript 356 64

3. leanprover-community/lean4web leanprover-community/lean4web Public

   The Lean 4 web editor

   TypeScript 122 43

4. hhu-adam/lean4monaco hhu-adam/lean4monaco Public

   Browser support for Lean using a monaco editor.

   TypeScript 11 3

5. hhu-adam/lean-i18n hhu-adam/lean-i18n Public

   i18n library for Lean.

   Lean 8