v4.11.0-rc1

Summary

PC など広いディスプレイで閲覧したとき、右側に目次を自動生成して表示させるようになりました。
また、Lean Search というツールをリンク集に追加しました。
内容面では、Prop の非可述性や Type の可述性など Lean の理論面に関する内容を強化しました。

What's Changed

• 属性: csimp 属性 by @Seasawher in #556
• リンク集更新 by @Seasawher in #557
• ページ内目次を表示させる by @Seasawher in #566
• axiom: なぜ商の公理だけが特別なのか by @Seasawher in #569
• 証明無関係の説明に誤り by @Seasawher in #576
• Prop の非可述性を説明する by @Seasawher in #577
• Type : Type と仮定すると矛盾が生じること by @Seasawher in #580
• v4.11.0-rc1 に更新する by @Seasawher in #590

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