Follow

ACL2 を効果的に使えるようになるまでの道は長く険しい道のりであることを理解し、少し落ち込んでたけど定理証明手習いの (D. 休んでなんていられない?) を読んでちょっとやる気が出てきた。

· · Web · 2 · 1 · 1

ACL2 の実行環境、定理証明手習いでは Dracula と ACL2 Sedan のみ紹介され、Emacs は紹介されていないことに気づいた。

Show thread

ACL2 が難しいわけではなく、本当に難しいのは問題領域そのもの。

Show thread
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!