ProofTools 0.5 Beta
ProofTools הוא פרויקט תוכנה מופצת באופן חופשי ומרובה שתוכנן מהקיזוז לשמש ליצירה אוטומטית וגרפית של תמונות חיות סמנטיות, הידוע גם בעצים סמנטיים, tableaux אנליטית, עצי הוכחה או trees.Features האמת בglanceThe יישום יכול לשמש כדי לבדוק אם טיעון או הוכחה היא...