raylean | Reservoir

TransitiveInclude transitive dependencies

Sort by

Git dependency.
Not found on Reservoir.
lens-democ0121c7
Git dependency.
Found on Reservoir.
batteriesv4.20.0
The "batteries included" extended library for the Lean programming language and theorem prover