2021-03-17から1日間の記事一覧
背景 EasyCryptの証明のためには、ProofGeneralが必須であり、それを動かすためにはEmacsを使わなければならない。一方で、私は昔からVimを使っているので、Emacsのキーバインドはほとんど知らない。そこで、以前からSpacemacsのevilモードを使っていた。 と…
背景 EasyCryptの証明のためには、ProofGeneralが必須であり、それを動かすためにはEmacsを使わなければならない。一方で、私は昔からVimを使っているので、Emacsのキーバインドはほとんど知らない。そこで、以前からSpacemacsのevilモードを使っていた。 と…