証明検証系Mizarを試した印象の続報です。内容： 「これはひどい!」が、「これは素晴らしい!!」 Mizarコミュニティ Mizarの可能性 「これはひどい!」が、「これは素晴らしい!!」Mizarの解説にあるサンプルコードはほぼ動きません*1。僕が試した範囲ではひと…