Popular repositories Loading

1. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

2. continue continue Public

   Forked from continuedev/continue

   ⏩ Ship faster with Continuous AI. Build and run custom agents across your IDE, terminal, and CI

   TypeScript

3. mikeljl.github.io mikeljl.github.io Public

   HTML

4. lean-lsp-mcp lean-lsp-mcp Public

   Forked from oOo0oOo/lean-lsp-mcp

   Lean Theorem Prover MCP

   Python

5. analysis analysis Public

   Forked from teorth/analysis

   A Lean companion to Analysis I

   Lean

6. jixia_py jixia_py Public

   Forked from frenzymath/jixia_py

   Python binding of jixia

   Python