これは、Theorem Proving Advent Calendar の11日目の記事になります。 Why の Emacs 上での開発環境について紹介します。 ちっとも証明してないですが、凄い方々の凄い記事の間の箸休めということで一つ。 why-mode tmiya さんによる3日目の記事で紹介され…