Beruf
Softwareentwickler
Beschreibung
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…
Quellsprache: Englisch
Aktualisiert