満を持して ACL2 をやろうと思い立った。 しかし殆ど解説記事が無い... 環境 Windows ではうまくいかなかった。 Racket もうまくいかなかった。 Jupyter のやつは未確認です。 Eclipse でできた。これの正式名称は ACL2s というらしい。 Install ACL2 Sedan …
Quote saved.
Login to quote this blog
Failed to save quote. Please try again later.
You cannot quote because this article is private.