ProofTools 0.5 Beta
هو مشروع البرمجيات توزيعها مجانا والمتعدد التي تم تصميمها من الإزاحة لاستخدامها وProofTools لتوليد التلقائي ورسوم بيانية من اللوحات الدلالي، المعروف أيضا باسم أشجار الدلالي، اللوحات التحليلي، وأشجار دليل أو trees.Features الحقيقة في glanceThe ويمكن استخدام التطبيق لاختبار ما إذا كان حجة أو برهان صالحة الاستنباطي، أو...