Popular repositories Loading

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

   Formalization of Statement of Local Langlands Correspondence for Tori

   Lean 11

2. mathlib4 mathlib4 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. tur tur Public

   A state-based esoteric language that works like a turing machine

   Java

6. pyth pyth Public

   Forked from isaacg1/pyth

   Pyth, an extremely concise language. Try it here:

   Python