Hex

TransitiveInclude transitive dependencies

Sort by

Git dependency.
Found on Reservoir.
mathlibd870b90
The math library of Lean 4
Git dependency.
Found on Reservoir.
TauCeti0dbbe25
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.
AINTLIBab14514
Atlas of formalised number theory in Lean (Verso blueprint)
Git dependency.
Not found on Reservoir.
lean-bench8a37daf
Git dependency.
Not found on Reservoir.
NautyFFIec85970
Git dependency.
Found on Reservoir.
versov4.35.0-rc3
Lean documentation authoring tool