Deduce: مُحقق برهان لأغراض تعليمية

Deduce هو مُحقق برهان آلي مصمم للأغراض التعليمية، لمساعدة الطلاب على تعلم كيفية إثبات صحة البرامج الوظيفية، وتعميق فهمهم للمنطق، وتحسين مهاراتهم في كتابة البراهين الرياضية. وهو موجّه للطلاب الذين لديهم مهارات أساسية في البرمجة (Java، Python، أو C++) وبعض الخبرة في المنطق من دورة في الرياضيات المنفصلة. يوفر Deduce موارد تتراوح من التثبيت وكتابة الكود إلى دليل مرجعي وورقة غش، مع برهان مثال على خوارزمية بحث خطي لتوضيح استخدامه.