Programas por liblogic.sf.net

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