ProofTools 0.5 Beta
ProofTools เป็นโครงการซอฟต์แวร์กระจายได้อย่างอิสระและหลากหลายที่ได้รับการออกแบบจากการชดเชยที่จะใช้สำหรับการผลิตอัตโนมัติและกราฟิกของ tableaux ความหมายที่เรียกว่าเป็นต้นไม้ความหมาย tableaux วิเคราะห์ต้นไม้หลักฐานหรือ trees.Features ความจริงที่ glanceThe...