Mathlib Initiative

Popular repositories Loading

1. formalization.yaml formalization.yaml Public

   23 3

2. sum_product sum_product Public

   Lean 16 3

3. literature-links literature-links Public

   A small JSON format that records correspondences between mathematical documents, such as a book passage and a Lean declaration.

   Python 13 2

4. lean_scout lean_scout Public

   Python 6 2

5. TaskList TaskList Public

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

   6

6. formal-companion formal-companion Public

   Formalize your paper or informalize your Lean library! Use Literature Links to create a PDF overlay showing the connection between formal and informal mathematics.

   Python 5