2024.09.17
https://gyazo.com/714dcd565bf519b2b2b67e619fa3589a
前：
2024.09.16
後：
2024.09.18
#日報
メモ
https://sno2wman.github.io/provability-logic-note/main.pdf
いい加減に
GLの算術的完全性定理
に関するメモをちゃんと
TeX
で書いている
Nix
はこういうとき便利ですね
ただしローカルでは動いて無くて…（）
やっている
そろそろ情報が古いため
sno2wman.net
を作り直すかと思って色々した