Popular repositories Loading

1. local-langlands-abelian local-langlands-abelian Public

   Formalization of Statement of Local Langlands Correspondence for Tori

   Lean 11

2. mathlib4-20210107 mathlib4-20210107 Public

   Unofficial repository for the experimental porting of mathlib into lean4

   Lean 10

3. Lean Lean Public

   Lean 3 1

4. M1P1-lean M1P1-lean Public

   Forked from ImperialCollegeLondon/M1P1-lean

   Material from M1P1, formalised in Lean

   Lean 2

5. EllipticCurve EllipticCurve Public

   Towards a general definition of elliptic curve over schemes

   Lean 2 1

6. PhysLean PhysLean Public

   Forked from HEPLean/PhysLean

   A project to digitalise results from physics into Lean.

   Lean 1