Mathlib Initiative

Popular repositories Loading

1. sum_product sum_product Public

   Lean 14 2

2. formalization.yaml formalization.yaml Public

   12 1

3. TaskList TaskList Public

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

   6

4. lean_scout lean_scout Public

   Python 3 2

5. semantic_hash semantic_hash Public

   Lean 3 1

6. proof_wanted_dashboard proof_wanted_dashboard Public

   HTML 1