ProofTools 0.5 Beta
ProofTools er et frit distribueres og multiplatform software-projekt, der er blevet designet fra offset der skal bruges til automatisk og grafisk generation af semantiske tableauer, også kendt som semantiske træer, analytisk tableauer, bevis træer eller...