2024.07.26
https://gyazo.com/3c44978a5b6bbc73e24512105e2ff9cd
前:
2024.07.25
後:
2024.07.27
#日報
設立
Formalized Formal Logic
https://github.com/FormalizedFormalLogic
Lean 4
によって形式化された形式論理についてのプロジェクトが設立されました.
ドキュメントの整備などをした.
メモ
寝ていた.申し訳ありません
思った
$ \TeX
が書けて,日本語