M1F-explained | Reservoir

TransitiveInclude transitive dependencies

Sort by

Git dependency.
Not found on Reservoir.
proofwidgetsa0c2cd0
Git dependency.
Not found on Reservoir.
Cli5a858c3
Git dependency.
Found on Reservoir.
mathlib461da4a
The math library of Lean 4
Git dependency.
Not found on Reservoir.
Qq81cc13c
Git dependency.
Not found on Reservoir.
aesop354432d
Git dependency.
Not found on Reservoir.
std17c3833