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

Follow

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

· · Web · 0 · 1 · 1
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!