0171132人目の素数さん垢版 | 大砲2016/07/08(金) 09:21:21.88ID:LlF6GjmQ proofwebでcoqを使うと、画面の右下にGentzenのproof treeを 表示してくれるのですが、その機能をローカルに自分のパソコンでも 使えるようにできるのですか?できるのでしたらやり方を教えてもらえないで しょうか。