analysis

TransitiveInclude transitive dependencies

Sort by

Git dependency.
Found on Reservoir.
doc-gen4v4.20.0
Document Generator for Lean 4
Git dependency.
Found on Reservoir.
checkdeclslean4.18.0
Tiny Lean library to check existence of declarations
Git dependency.
Found on Reservoir.
Qqv4.20.0
Intuitive, type-safe expression quotations for Lean 4.
Git dependency.
Found on Reservoir.
proofwidgetsv0.0.60
Helper toolkit for creating your own Lean 4 UserWidgets
Git dependency.
Found on Reservoir.
plausiblev4.20.0
Git dependency.
Found on Reservoir.
mathlibv4.20.0
The math library of Lean 4
Git dependency.
Found on Reservoir.
importGraphv4.20.0
Tools to analyse and visualise the import structure of Lean packages and their files.
Git dependency.
Found on Reservoir.
batteriesv4.20.0
The "batteries included" extended library for the Lean programming language and theorem prover

Reservoir