Pinned

1. leanprover-community/mathlib Public

   Lean mathematical components library

   Lean 1.3k 260

2. mtcaxa Public

   The Mumford–Tate conjecture for products of abelian varieties

   TeX 2

3. leanprover-community/lean-liquid Public

   💧 Liquid Tensor Experiment

   Lean 90 7

4. greek_enumerate Public

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

   TeX 3

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

   Perfectoid spaces in the Lean formal theorem prover.

   Lean 99 10

6. bibgetter/mr2bib Public

   Python 2