Programas por liblogic.sf.net

LibLogic é uma biblioteca de software para teorema automatizado que prova com a capacidade de ser inigualável para provar correta e eficientemente todas as declarações comprovadas em qualquer teoria lógica de qualquer ordem,