v4.9.0-rc2

重要な変更

Lean by Example とリポジトリ名が変更された．これにより，今までのリンクは正常に動作しなくなる可能性がある．

リダイレクトを設定してあるので，404 エラーにはならないが，どの旧ページへのリンクも一様に新トップページにリダイレクトされてしまうため，個別ページへのリンクは意図通りに動作しなくなる．

What's Changed

• ディレクトリを意味ごとに分ける by @Seasawher in #200
• 構文に関する記事を Lean by Example から移行する by @Seasawher in #202
• #guard_msgs in を隠さない by @Seasawher in #204
• リンク集に Lean Forward を追加する by @Seasawher in #217
• section/autoimplicit の例がfileplayでは正しく動作しない by @Seasawher in #218
• root の名前空間宣言を隠さない by @Seasawher in #222
• 修飾子についての記事を旧 Lean by Example から移行する by @Seasawher in #223
• inductive のページの見出しが不適切 by @Seasawher in #228
• Updates available and ready to merge. by @github-actions in #236
• itautoを紹介する by @Seasawher in #239
• Updates available and ready to merge. by @github-actions in #243
• なぜpartial は遺伝しないのか？ by @Seasawher in #258
• export を紹介する by @Seasawher in #261
• Typoの修正 by @Seasawher in #263
• Lean by Example に名前を変える(バージョン更新も行う) by @Seasawher in #296
• 翻訳者向けのノートを書く by @Seasawher in #297

New Contributors

• @github-actions made their first contribution in #236

Full Changelog: v4.9.0-rc1...v4.9.0-rc2