v4.12.0

Summary

このリリースから PDF 版は生成しないことにした。

What's Changed

• lake run build の実行が遅いので代替手段を用意する by @Seasawher in #766
• 排中律と De Morgan の問題の Heyting 代数の問題への差し替え by @Seasawher in #767
• 不要な仮定を削除する by @Seasawher in #768
• aesop に追加の補題を渡す方法を説明する by @Seasawher in #781
• 印刷ボタンが正常に機能しない by @Seasawher in #782
• PDF 版を生成しない by @Seasawher in #788
• rw はローカル変数の展開は行わない by @Seasawher in #789
• inductive datatype parameter mismatch エラーはなぜ起こる？ by @Seasawher in #791
• elab コマンド使用例：tada タクティク by @Seasawher in #792
• Heyting 代数の問題文を微修正 by @Seasawher in #797
• Cantor の対関数についての証明は出典を示す by @Seasawher in #802
• 自動更新PRにラベルを貼り、リリースノートから自動的に除外されるようにする by @Seasawher in #796
• lean searchをリンクチェック対象に戻す by @Seasawher in #808
• [inherit_doc] を紹介する by @Seasawher in #815
• @[match_pattern] 属性を紹介する by @Seasawher in #817
• 属性の名前は [ ] で囲うスタイルにする by @Seasawher in #818
• precedence と priority を明確に分ける by @Seasawher in #821
• 目次のネストを1段階に固定する by @Seasawher in #832
• 見出しを展開しない by @Seasawher in #834
• 目次の順番の入れ替え by @Seasawher in #840
• 属性を [ ] で囲っていない箇所がある by @Seasawher in #843
• 証明無関係の表記揺れ by @Seasawher in #844
• タグ🏷️機能を試験的に実装する by @Seasawher in #853
• テスト: iPadおよびiPhoneのsafariではページごとの実行ボタンが動作しない by @Seasawher in #857
• handlebars のフォーマットを行う by @Seasawher in #859
• pagetoc.js 内でCSSを挿入しない by @Seasawher in #863
• GetElem のページに、証明付きアクセスも紹介する by @Seasawher in #867
• Biome で js ファイルのフォーマットなどを行う by @Seasawher in #868
• String と文字列補完を紹介する by @Seasawher in #871
• norm_cast タクティクを紹介する by @Seasawher in #876
• precedence は「（パースの）優先度」ではなくて「（パースの）優先順位」と訳す by @Seasawher in #880
• 全射/単射の分裂 by @Seasawher in #884
• Cantorの定理の難易度調整 by @Seasawher in #885
• Discord へのリンクをトップバーに移動させる by @Seasawher in #892
• 一瞬 Suggest an edit ボタンが表示される問題を修正する by @Seasawher in #893
• Leanの公式ブログをリンク集に追加する by @Seasawher in #894
• atttibute [coe]でインフォビュー上での表示を↑に換える by @Seasawher in #898
• [default_instance] 属性を紹介する by @Seasawher in #900
• インスタンス優先度と [default_instance] 属性の違いをコード例で示す by @Seasawher in #902
• [norm_cast] 属性を紹介する by @Seasawher in #903
• Char 型を紹介する by @Seasawher in #904
• 強調された文字の色を変える by @Seasawher in #907
• 強調された文字の色を変えない by @Seasawher in #909
• List 型を紹介する by @Seasawher in #911
• deriving は def に対しても使える by @Seasawher in #916
• List.foldl を紹介する by @Seasawher in #918
• List の高階関数についての記述を追加する by @Seasawher in #920
• List.foldl と List.foldr の説明が不適当 by @Seasawher in #924

Full Changelog: v4.12.0-rc1...v4.12.0