ocupação
Desenvolvedores de software
descrição
Update the Lean (and mathlib/doc-gen4) toolchain version. Bumps lean-toolchain, updates lake-manifest, verifies the build, detects and fixes new errors/warnings caused by the version bump, and opens a PR. Use for requests like "update Lean", "bump the…
Idioma do texto original: inglês
atualizado