SASyLF というのは証明の手伝いをしてくれるツールです。Coq より簡単だそうです。 実行方法と学び方 ホームページ http://www.cs.cmu.edu/~aldrich/SASyLF/ SASyLF-Emacs-Mode http://github.com/hesam/SASyLF-Emacs-Mode/tree/master SASyLF を実行するに…