Home | Notifications | New Note | Local | Federated | Search | Logout

Note Detail

きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-06 20:57:09)
Cubical Agda、もしかしてACL2で身につけた感覚がとても役に立つものなのでは…？

---Replies---

きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-06 21:01:11)
ACL2をヒューリスティックから型理論に昇華したもののような気がしてきた。