Lean: Version 4.28.0-rc1 来てる…。

先日、書いたばかりなのに…。2026/01/27 9:25　現在
昨日の時点で来てることは知ってましたが。
この追跡はアップデートで不具合が出るまでは、やらなくても良い気がす…

Lean v4.28.0-rc1

rc1 なので正式ではないですが、このまま不具合無く修正しなくて良いならば、何も変更無く正式化される版であるはずです。

差分で見る

何が含まれて何が修正されてるのかは、差分で見ればいいので

ここからコード差分を得れば、何がどうなっていくか解ります。

新機能というよりは修正か。

という事は Lean のミドルバージョンって、
マイナーバージョン的な気軽なものなのか？

通常の読み方だと…

Version. 1.2.3a-rc1

1. メジャーバージョン（大幅仕様変更）
2. ミドル（機能追加変更）
3. マイナー（バグ修正など軽微）
a 派生（仕様機能一緒で見た目違うだけとか）
- 枝（その状態など）
rc1 リリース直前 1 修正したら → 2 (release candidate)
beta1 リリース準備 1 以下同様 (β)
alpha1 やっと動く形になったくらい (α)
proto プロトタイプ雛形、こんな感じな程度 (prototype)

なんてのが私のバージョン管理で、私のはいつも v0.0.1 とかｗｗｗ

はい。雑談。

という事で、
Lean のアップデートによる影響や、4.27.0 で問題でているなら。✍️

2026/01/27 9:38

D.

#Lean #リリースノート #rc1