Follow

やばいな、Jupyter Notebook をメインに使うようになった影響で Emacs の利用時間が大幅に減っている。
このままいくと、Emacs はちょこっとプログラムを編集して git の操作をするツールになってしまう。

· · Web · 1 · 0 · 0

ACL2 の証明は Emacs の方が便利なことが多いからそれは残るか。あとは Emacs 上で bash の操作をするのも残るはず。

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!