Skip to content

leanprover/downstream-lean4

Repository files navigation

Lake 4 downstream monorepo

A "downstream" monorepo of lake packages from GitHub, managed using downstream. They all use the same toolchain, and their dependencies point to each other instead of the original repos.

It is recommended to set the environment variable LAKE_ARTIFACT_CACHE=1 to benefit from cross-project caching.

About

A monorepo of packages downstream of Lean 4.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors