Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 16-Sep-2021 17:26:49 JST きゅーけー

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

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 16-Sep-2021 17:29:00 JST きゅーけー

     in reply to

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