Home | Notifications | New Note | Local | Federated | Search | Logout
きゅーけー@tojoqk@mastodon.tojo.tokyo (2025-12-18 14:37:04) 今年中の公開を目指してACL2の紹介記事を書いているけど一向に終わりそうにない。