[B!] BuriKaigi 2026 で Lean によるコンパイラの証明について話してきました - チェシャ猫の消滅定理
https://b.hatena.ne.jp/entry/s/ccvanishing.hateblo.jp/entry/2026/01/16/003718

これ一週間くらい前にスライドだけ見て「なんもわからん＞＜」になったのの記事だ＞＜