2023.09.27
https://www.youtube.com/watch?v=mzRwyM42Kcs
ゴミ動画すぎる
Only My Railgun
無料版 Only My Railgun
前：
2023.09.26
後：
2023.09.28
#日報
メモ
証明可能性論理の不動点定理
について．
やった
今日は
Lean 4
をたまにはということでやった
早く
様相論理
を形式化したい．
知った
Material Symbols
https://fonts.google.com/icons
最近まで知らなかったけど
Material Design
用にGoogleが提供しているアイコンって10000個もあるんだ