ディレクトリ
サーバーディレクトリ
詳細情報
アプリ
ログイン
登録する
スレッドと参照
参照のみ
2023年07月24日 14:14
palalansoukî
@palalansouki@mstdn.jp
(¬p → p) → pは恒真だが非自明に思える(Löbの定理みたいな)
0
ログインして会話に参加
様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。
トレンドタグ