المهنة
مطوّرو البرمجيات
الوصف
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…
لغة النص الأصلي: الإنجليزية
آخر تحديث