leanSpec | Reservoir

TransitiveInclude transitive dependencies

Sort by

Git dependency.
Not found on Reservoir.
std0b2e962
Git dependency.
Found on Reservoir.
mdgenv1.0.0
Tool to generate markdown files from lean files.