4Build, Packaging & CI
11 entries
- lean-actionGitHub Action to build, test and lint Lean projects.leanprover/lean-action
- LeanProjectRepository template with CI, docs and blueprint setup.leanprover-community/LeanProject
- lean-updateGitHub Action to keep Lean toolchains and dependencies up to date.leanprover-community/lean-update
- hopscotchCLI that bisects a dependency version range to find where your project breaks (action).leanprover-community/hopscotch
- levPackage and toolchain manager for switching between Lean projects and versions, inspired by uv.Robertboy18/lev
- lean4-nixNix flake for Lean 4 and
lake2nix.lenianiva/lean4-nix - rules_leanBazel rules for Lean 4 and Lake, focused on cross-language native builds.pb64-lean/rules_lean
- setuptools-leanPlugin for setuptools that packages Python modules written in Lean.leanprover/setuptools-lean
- lean-churn-botOpens PRs that fix upstream breakage using only compiler suggestions, no LLM.FawadHa1der/lean-churn-bot
- intentionsGitHub Action for claiming issues and reporting who is working on what.leanprover-community/intentions
- lean-optimizationsProposed optimizations that speed up builds and interactive use (paper).danromik/lean-optimizations