Mathlib Initiative

Popular repositories Loading

1. formalization.yaml formalization.yaml Public

   18 2

2. sum_product sum_product Public

   Lean 14 2

3. lean_scout lean_scout Public

   Python 6 2

4. TaskList TaskList Public

   A project for collecting and prioritising ideas related to tools, tactics, linters, code actions for Mathlib

   6

5. semantic_hash semantic_hash Public

   Lean 3 1

6. Etingof-RepresentationTheory-draft1 Etingof-RepresentationTheory-draft1 Public

   Lean 2