import FormalLab.Appendix.Solutions.FoundationsAndLogic
import FormalLab.Appendix.Solutions.TypeSystems
import FormalLab.Appendix.Solutions.Mathematics
import FormalLab.Appendix.Solutions.Recursion
import FormalLab.Appendix.Solutions.DependentTypeTheory
import FormalLab.Appendix.Solutions.CategoryTheoryFoundations
import FormalLab.Appendix.Solutions.CategoryTheoryConstructions
import FormalLab.Appendix.Solutions.CategoryTheoryExtensions
import FormalLab.Appendix.Solutions.InductionCoinductionAndInfinity
import FormalLab.Appendix.Solutions.CategoricalTypeTheory
import FormalLab.Appendix.Solutions.LogicAndComputation

/-!
# 付録D：全問題のヒントと解答

全問題の解答は、本文の領域構成に沿って複数のソースへ分けています。各問題には「ヒント」と「解答」があります。
問題が要求する証明、計算、反例、Leanコードは解答そのものに含め、必要な場合だけ「別解」「反例」「補足」
「発展」を加えます。このモジュールをimportすると、各解答ソースに含まれるLeanコードがまとめて検査されます。
-/