Home | Notifications | New Note | Local | Federated | Search | Logout
きゅーけー@tojoqk@mastodon.tojo.tokyo (2025-12-18 14:35:47) ACL2が継続的にメンテンナンスされていてかつ安定して使えるのはCommon Lispが安定していることの恩恵を受けてる説ありそう。