Follow

ACL2 で証明をすると最終的に答えに行きつくまでの道筋を失なってしまうので、マインドマップに試行したことをメモしながら証明しようと思う。

· · Web · 0 · 0 · 0
Sign in to participate in the conversation
Mastodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!