Popular repositories Loading

1. mathlib-quality mathlib-quality Public

   Claude Code skill plugin for cleaning up, golfing, and bringing Lean 4 code up to mathlib standards

   Shell 32 3

2. LeanBridge LeanBridge Public

   Link LMFDB and Lean

   Lean 8 10

3. AINTLIB AINTLIB Public

   Atlas of formalised number theory in Lean (Verso blueprint)

   Lean 5 1

4. ModularForms ModularForms Public

   This repository consists of Lean 3 code which defines modular forms and looks to prove that Eisenstein series satisfy these definitions. The code within will eventually form part of the mathlib.

   Python 4 2

5. ModularForms_Lean4 ModularForms_Lean4 Public

   Lean 4 2

6. chebotarev-density chebotarev-density Public

   Lean 4 / Mathlib formalisation of Chebotarev's density theorem

   Lean 3 1