ProofTools 0.5 Beta
ProofTools là một dự án phần mềm được phân phối tự do và nhiều hệ đã được thiết kế từ những bù đắp được sử dụng cho các thế hệ tự động và đồ họa của hoạt cảnh ngữ nghĩa, còn được gọi là cây ngữ nghĩa, hoạt cảnh phân tích, cây bằng chứng hay sự thật...