lean-eval

TransitiveInclude transitive dependencies

Sort by

Git dependency.
Not found on Reservoir.
lean-eval-generator0b8cc2d
Git dependency.
Found on Reservoir.
mathlib5e0c4e5
The math library of Lean 4
Git dependency.
Found on Reservoir.
TauCeti522706e
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.
lean-poole9d53e9