【Lean】コンパイラの型チェックで、証明を検証したことになるカラクリ 2026-03-282026-03-27 by chiilabo #関数型プログラミング（17） #コンパイラ（8） #型推論（8） #フィボナッチ数列（7） #シンボルテーブル（5）