このアカウントでは
- 論理学に関する様々な話題- 命題論理あるいは様相論理の諸々の結果のLean4による形式化の進捗- 開発中の音MADのデータベースOtoMADB(https://www.otomadb.com)の進捗- 日報
などが放送される予定です。よろしくおねがいします。
様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。