No results found

mathlib

The math library of Lean 4
Sort by
  1. Registry dependency.
    Found on Reservoir.

    batteriesdaf1ed9

    The "batteries included" extended library for the Lean programming language and theorem prover
  2. Registry dependency.
    Found on Reservoir.

    Qq2b2f6d7

    Intuitive, type-safe expression quotations for Lean 4.
  3. Registry dependency.
    Found on Reservoir.

    aesopv4.13.0-rc1

    White-box automation for Lean 4
  4. Registry dependency.
    Found on Reservoir.

    proofwidgetsv0.0.42

    Helper toolkit for creating your own Lean 4 UserWidgets
  5. Registry dependency.
    Found on Reservoir.

    importGraph63a7d4a

    Tool to analyse the import structure of lean projects.
  6. Registry dependency.
    Not found on Reservoir.

    LeanSearchClient4b61d4a