2026.03.12
https://gyazo.com/36b1d3aae2558d38dfd2cecc0a061d8a
前：
2026.03.11
後：
2026.03.13
#日報
メモ
あえて昔のアイコンに
メモ
Awesome Logic Formalization
https://formalizedformallogic.github.io/awesome-logic-formalization
定理証明支援系の形式化の数理論理学の分野に限った参考文献リストを整備することにした．
この分野は論文がどのリポジトリに紐づいているのか分かりづらかったり，現在進行系で開発中あるいはコードだけ投げて放棄，みたいなものが沢山あり，困る…
メモ
Kunen's Inconsistency Theorem
が
Lean4
で形式化されたのｔこ．
https://leanprover.zulipchat.com/#narrow/channel/116395-maths/topic/Formalizing.20Kunen's.20Inconsistency.20Theorem/with/578867910
思った
ずっと
Slay the Spire 2
をやっている