見積もりを検証するツール II: フレキシブルな証明補助ツール

最近の投稿では、見積もりを検証するための概念実証ツールについて話しました。その投稿以来、ツールを2回大幅に改良しました。まず、基本的な証明補助ツールに変えて、命題論理の一部も扱えるようにしました。次に、より柔軟な証明補助ツール（[…