Cappuccino Theorem Prover es un probador automático de teoremas de lógica de predicados de primer orden mediante deducción natural.
El primer release del software está planeado para mediados de febrero de 2008. Si tenés preguntas, ideas o sugerencias que no pueden esperar, contactate con los autores.
Enterate por correo electrónico cuando Cappuccino esté listo:
Cappuccino es desarrollado por Juan José Conti <jjconti@gnu.org> y Joel J. Lorenzatti <jjlorenzatti@gmail.com> y será distribuido bajo los términos de la licencia de Software Libre GPL version 3. Toda colaboración es bienvenida.
Requiere autorización