ACL2 を効果的に使えるようになるまでの道は長く険しい道のりであることを理解し、少し落ち込んでたけど定理証明手習いの (D. 休んでなんていられない?) を読んでちょっとやる気が出てきた。
ACL2 が難しいわけではなく、本当に難しいのは問題領域そのもの。
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!