v4.10.0-rc2

重要な変更

コマンドとタクティクだけでなく，型クラスも紹介するようになった．

What's Changed

• linarith に引数で補題を渡す例を紹介する by @Seasawher in #434
• field_simp は順序を扱えない by @Seasawher in #435
• notation のコード例における優先順位修正 by @Seasawher in #436
• コマンド紹介: infix を紹介する by @Seasawher in #437
• infix コマンドは左結合でも右結合でもないことを明記する by @Seasawher in #439
• Updates available and ready to merge. by @github-actions in #440
• コマンド紹介：opaque を紹介する by @Seasawher in #447
• Updates available and ready to merge. by @github-actions in #449
• fix: 宣言的コマンドの説明で「構文」と呼んでいるのを「コマンド」に統一する by @Seasawher in #450
• feat: prefix コマンドを紹介する by @Seasawher in #451
• feat: ロゴ画像を README に追加する by @Seasawher in #453
• feat: postfix コマンドを紹介する by @Seasawher in #454
• fix: local と scoped が使えるコマンドを検証する by @Seasawher in #456
• feat: 旧Lean by Exampleから型クラスの記事を移設する by @Seasawher in #459
• feat: Repr を deriving を使わずに実装する例を示す by @Seasawher in #461
• v4.10.0-rc2 に更新する by @Seasawher in #468

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