## What's Changed * Updates available and ready to merge by @github-actions[bot] in https://github.com/Seasawher/mk-exercise/pull/74 * Updates available and ready to merge by @github-actions[bot] in https://github.com/Seasawher/mk-exercise/pull/75 **Full Changelog**: https://github.com/Seasawher/mk-exercise/compare/v4.24.0...v4.25.0

## What's Changed * Updates available and ready to merge by @github-actions[bot] in https://github.com/Seasawher/mk-exercise/pull/67 * Updates available and ready to merge by @github-actions[bot] in https://github.com/Seasawher/mk-exercise/pull/68 * Bump actions/checkout from 4 to 5 by @dependabot[bot] in https://github.com/Seasawher/mk-exercise/pull/69 * Updates available and ready to merge by @github-actions[bot] in https://github.com/Seasawher/mk-exercise/pull/70 * Updates available and ready to merge by @github-actions[bot] in https://github.com/Seasawher/mk-exercise/pull/71 **Full Changelog**: https://github.com/Seasawher/mk-exercise/compare/lean/v4.22.0-rc2...lean/v4.24.0-rc1

## What's Changed * Updates available and ready to merge by @github-actions in https://github.com/Seasawher/mk-exercise/pull/55 * Updates available and ready to merge by @github-actions in https://github.com/Seasawher/mk-exercise/pull/56 **Full Changelog**: https://github.com/Seasawher/mk-exercise/compare/lean/v4.17.0...lean/v4.18.0

## Summary Lean's version has been updated to v4.17.0 ## What's Changed * Updates available and ready to merge by @github-actions in https://github.com/Seasawher/mk-exercise/pull/47 * Updates available and ready to merge by @github-actions in https://github.com/Seasawher/mk-exercise/pull/48 * Updates available and ready to merge by @github-actions in https://github.com/Seasawher/mk-exercise/pull/49 * Updates available and ready to merge by @github-actions in https://github.com/Seasawher/mk-exercise/pull/53 * Updates available and ready to merge by @github-actions in https://github.com/Seasawher/mk-exercise/pull/54 **Full Changelog**: https://github.com/Seasawher/mk-exercise/compare/2.2.0...lean/v4.17.0

## What's Changed * replace selected range by @Seasawher in https://github.com/Seasawher/mk-exercise/pull/46 **Full Changelog**: https://github.com/Seasawher/mk-exercise/compare/2.1.1...2.2.0

**Full Changelog**: https://github.com/Seasawher/mk-exercise/compare/2.1.0...2.1.1 ## What's Changed * fix command name by @Seasawher in https://github.com/Seasawher/mk-exercise/pull/42 **Full Changelog**: https://github.com/Seasawher/mk-exercise/compare/2.1.0...2.1.1

## What's Changed * use lean4-cli by @Seasawher in https://github.com/Seasawher/mk-exercise/pull/40 **Full Changelog**: https://github.com/Seasawher/mk-exercise/compare/lean/v4.12.0-rc1...2.1.0

**Full Changelog**: https://github.com/Seasawher/mk-exercise/compare/lean/v4.11.0-rc3...lean/v4.11.0