v4.15.0-rc1

What's Changed

• HMul 型クラスを紹介する by @Seasawher in #1084
• LawfulFunctor を紹介する by @Seasawher in #1088
• linter.style.multiGoal を紹介する by @Seasawher in #1089
• タグを使用しない by @Seasawher in #1093
• バージョン更新忘れ by @Seasawher in #1099
• apply と exact の違い by @Seasawher in #1100
• syntax コマンドの name := 構文を紹介する by @Seasawher in #1102
• declare_aesop_rule_sets コマンドを紹介する by @Seasawher in #1112
• タイポ by @Seasawher in #1113
• aesop ラッパの属性を手作りする例を示す by @Seasawher in #1117
• add_hoge_rules コマンドに local や scoped を付与できない by @Seasawher in #1119
• #version コマンドを紹介する by @Seasawher in #1125
• Syntax 型を紹介する by @Seasawher in #1126
• メタ変数による証明の後回しを紹介する by @Seasawher in #1129
• #lint コマンドを紹介する by @Seasawher in #1133
• Macro 型を紹介する by @Seasawher in #1136
• #html コマンドを紹介する by @Seasawher in #1143
• notation のパース優先度の例が間違っている by @Seasawher in #1149
• CoeSort の説明に誤り by @Seasawher in #1151
• plausibleの見出し上の位置がおかしい by @Seasawher in #1160
• plausible のカスタマイズ方法を説明する by @Seasawher in #1161
• suffices タクティクは前提に名前を付けることができる by @Seasawher in #1173

Full Changelog: v4.14.0-rc2...v4.15.0-rc1