Home | Notifications | New Note | Local | Federated | Search | Logout
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-10-27 22:59:36) Leanでの命題記述に何かうっかりミスがなければ…