2025.02.04
https://gyazo.com/1e57be6fda56adb071708cc7bc84a6ba
前：
2025.02.03
後：
2025.02.05
#日報
やっている
思うところがあり
FormalizedFormalLogic/Foundation
の様相論理の部分を大幅に書き直している
メモ
色々あり，働く必要があることに…