ProofTools 0.5 Beta
ProofTools ay isang malayang ipinamamahagi at multiplatform software proyekto na dinisenyo mula sa offset na gagamitin para sa awtomatikong at graphical na henerasyon ng semantiko tableaux, na kilala rin bilang semantiko puno, tableaux analitiko, patunay...