2023.11.02
https://www.youtube.com/watch?v=B9SrRQ-Ywm0
Jet Set Sonic: The Mashup Album
前：
2023.11.01
後：
2023.11.03
#日報
いいね
↑
Jet Set Sonic: The Mashup Album
読んだ
R. Gore, R. Ramanayaka, I. Shillito; 2021; "Cut-Elimination for Provability Logic by Termination Proof-Search: Formalized and Deconstructing Using Coq"
確かに，後半の証明が長すぎて形式化して証明したいという気も，わかる．
メモ
ESLint Stylistic
https://github.com/eslint-stylistic/eslint-stylistic