証明支援系Globularを使っている人っているのかな？ まー、いても少数でしょうね。僕はたまに使います。しばらく使わないでいると使い方を忘れます。少なくとも一人のユーザー（＝僕・檜山）にとっては意味があるので、「Globularの使い方」を記録しておきま…