Sort by
  1. Registry dependency.
    Found on Reservoir.

    importGraph9b4088c

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

    mathliba54be30

    The math library of Lean 4