Deduce：教育目的の証明チェッカー
2025-03-24
Deduceは、教育目的のために設計された自動化された証明チェッカーであり、学生が関数型プログラムの正当性を証明すること、論理の理解を深めること、数学的証明の作成能力を向上させることを支援します。Java、Python、またはC++の基本的なプログラミングスキルと、離散数学のコースで学習するような論理へのある程度の理解を持つ学生を対象としています。Deduceは、インストールやコード記述からリファレンスマニュアルやチートシートまで、さまざまなリソースを提供しており、線形探索アルゴリズムの例題の証明によって使用方法を示しています。