Pinned

1. leanprover-community/mathlib leanprover-community/mathlib Public

   Lean 3's obsolete mathematical components library: please use mathlib4

   Lean 1.6k 298

2. mtcaxa mtcaxa Public

   The Mumford–Tate conjecture for products of abelian varieties

   TeX 2

3. leanprover-community/lean-liquid leanprover-community/lean-liquid Public

   💧 Liquid Tensor Experiment

   Lean 156 11

4. greek_enumerate greek_enumerate Public

   Greek letters for enumerates in LaTeX (depends on the enumitem package)

   TeX 4

5. leanprover-community/lean-perfectoid-spaces leanprover-community/lean-perfectoid-spaces Public

   Perfectoid spaces in the Lean formal theorem prover.

   Lean 114 12

6. bibgetter/mr2bib bibgetter/mr2bib Public

   Python 2