2023.11.21
https://www.youtube.com/watch?v=6uLYs5tB0Is
パルプ・フィクション
なんなんだ
前：
2023.11.20
後：
2023.11.22
#日報
メモ
https://github.com/iehality/lean4-logic/blob/master/.github/workflows/ci.yml
GitHub Actions for Lean4
やった
OTOMADB
の
Renovate
の設定を共通化した．