Sort by
  1. Git dependency.
    Found on Reservoir.

    proofwidgetsv0.0.39

    Helper toolkit for creating your own Lean 4 UserWidgets
  2. Git dependency.
    Found on Reservoir.

    importGraph68b518c

    Tools to analyse and visualise the import structure of Lean packages and their files.
  3. Git dependency.
    Found on Reservoir.

    arithmetization1bfdc1b

    Formalization of Arithmetization of Mathematics/Metamathematics
  4. Git dependency.
    Found on Reservoir.

    doc-gen4b941c42

    Document Generator for Lean 4