2023.11.19
https://www.youtube.com/watch?v=Ctl5MSPa6lU
梅本佑利 - 萌え²少女 #2
#梅本佑利
前：
2023.11.18
後：
2023.11.20
#日報
やっている
導出可能性条件
による
不完全性定理
の形式化
https://github.com/SnO2WMaN/lean4-logic/tree/provability
memo
TeXで証明図を書く