コラッツ予想がとけたらいいな2

自分の考察を書いていきます。

Entries from 2022-05-18 to 1 day

ACL2 をやってみた

満を持して ACL2 をやろうと思い立った。 しかし殆ど解説記事が無い... 環境 Windows ではうまくいかなかった。 Racket もうまくいかなかった。 Jupyter のやつは未確認です。 Eclipse でできた。これの正式名称は ACL2s というらしい。 Install ACL2 Sedan …