LeanBridge

TransitiveInclude transitive dependencies

Sort by

Git dependency.
Found on Reservoir.
mathlib0740637
The math library of Lean 4
Git dependency.
Found on Reservoir.
TauCeti1f9b441
An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics
Git dependency.
Found on Reservoir.
doc-gen4v4.35.0
Document Generator for Lean 4
Git dependency.
Found on Reservoir.
checkdeclslean4.18.0
Tiny Lean library to check existence of declarations