ProofTools 0.5 Beta
ProofTools ofset nəzərdə tutulmuşdur sərbəst paylanmış və multiplatform proqram layihəsi də glanceThe da semantik ağacları, analitik Tableaux, sübut ağac və ya həqiqət trees.Features kimi tanınan semantik Tableaux avtomatik və qrafik nəsil üçün istifadə...