ProofTools 0.5 Beta
ProofTools es un proyecto de software libre distribución multiplataforma y que ha sido diseñado a partir de la compensación que se utilizarán para la generación automática y gráfica de cuadros semántica, también conocido como árboles semánticos, cuadros...