2023.07.24
https://gyazo.com/760e943b36dac80cbf937bd1892bdc40
前：
2023.07.23
後：
2023.07.25
#日報
今日やったこと
Lean4で使えるTactics及びCommand
leanprover/std4
のテストコードを読んだ
ProofWidgets
をみた
読んだ
矛盾許容論理 Priest, Tanaka, and Weber (2018) "Paraconsistent Logic"
Lean4 Metaprogramming Book
MetaM
は全然おもしろくねーと思い飛ばしてしまった（最悪）
思った
Webフロントエンドからしばらく離れ何もかも忘却した中でLean4のProofWidgetsで再びReactに出会う
観た
生徒会役員共 第1話
やっぱり全体的に紫色なのちょっと良いな