ProofTools 0.5 Beta
در ProofTools است یک پروژه نرم افزار آزادانه توزیع شده و multiplatform است که از جبران طراحی شده برای برای نسل اتوماتیک و گرافیکی از تابلو معنایی، همچنین به عنوان درختان معنایی، تابلو تحلیلی، درختان اثبات یا trees.Features حقیقت در glanceThe شناخته شده استفاده می شود برنامه را می توان مورد استفاده برای تست اینکه آیا...