2024.09.13
https://www.youtube.com/watch?v=SHgXjoo7dUg
SSX3
前：
2024.09.12
後：
2024.09.14
#日報
やっていた
GLの算術的完全性定理
R. Gore, R. Ramanayaka, I. Shillito; 2021; "Cut-Elimination for Provability Logic by Termination Proof-Search: Formalized and Deconstructing Using Coq"
を読む
高さ保存弱化などのちゃんとした証明を形式化するの面倒すぎる