Home | Notifications | New Note | Local | Federated | Search | Logout
きゅーけー@tojoqk@mastodon.tojo.tokyo (2025-12-13 00:48:52) 12月中に定理証明の記事を投稿することを目指して執筆しているというのに、貴重な時間をしょうもな矛盾の存在証明に使ってしまった。