Type Checking in Lean4

resolve #2267

Author: Seasawher

LeanByExample/Links.lean

@@ -35,6 +35,7 @@
 * [Logic and Mechanized Reasoning](https://avigad.github.io/lamr/) Lean を使った論理学および自動証明の教科書。ソースコードも[GitHubリポジトリ](https://github.com/avigad/lamr)で公開されています。
 * [Scientific Computing in Lean](https://lecopivo.github.io/scientific-computing-lean/) Lean で科学計算を行うライブラリ [SciLean](https://github.com/lecopivo/SciLean) の著者による、科学計算についての解説書。
 * [From Zero to QED](https://sdiehl.github.io/zero-to-qed/) 型理論と関数型プログラミングを背景に、Lean を用いた定理証明について基礎から段階的に学ぶ入門書。
+* [Type Checking in Lean4](https://ammkrn.github.io/type_checking_in_lean4/) Lean4 のカーネル（型検査機構）について深く理解するための資料です。
 
 ## 📚 書籍(日本語)