ProofTools 0.5 Beta
ProofTools অফসেট থেকে ডিজাইন করা হয়েছে যে একটি অবাধে বিতরণ এবং multiplatform সফ্টওয়্যার প্রকল্প একটি glanceThe এ শব্দার্থিক গাছ, বিশ্লেষণমূলক Tableaux, প্রমাণ গাছ বা সত্য trees.Features হিসাবে পরিচিত শব্দার্থিক Tableaux স্বয়ংক্রিয় এবং গ্রাফিকাল...