Releases: lean-ja/lean-by-example
Releases · lean-ja/lean-by-example
v4.9.0-rc1
What's Changed
- Lean と Mathlib のバージョンを
v4.9.0-rc1に更新する by @Seasawher in https://github.com/lean-ja/tactic-cheatsheet/pull/199
Full Changelog: lean-ja/tactic-cheatsheet@v4.8.0...v4.9.0-rc1
Contributors
Seasawher
Assets 2
v4.8.0
What's Changed
- Lean と Mathlib のバージョン更新 by @Seasawher in https://github.com/lean-ja/tactic-cheatsheet/pull/194
Full Changelog: lean-ja/tactic-cheatsheet@v4.8.0-rc2...v4.8.0
Contributors
Seasawher