Popular repositories Loading

1. Simons2025 Simons2025 Public

   Forked from hrmacbeth/Simons2025

   Lecture notes and exercises for the 2025 Simons Foundation workshop "Lean for Mathematicians"

   Lean 2

2. mathematics_in_lean mathematics_in_lean Public

   Forked from leanprover-community/mathematics_in_lean

   The user home repository for the Mathematics in Lean tutorial.

   HTML

3. lean-lsp-mcp-agent lean-lsp-mcp-agent Public

   Python

4. Optimal-Nuisance-Function-Tuning Optimal-Nuisance-Function-Tuning Public

   R

5. zixiaowang17.github.io zixiaowang17.github.io Public

   HTML

6. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean