http://www.proofmood.com/index_en.php
Testei a opção de exportar em Latex e ficou bonitinho. Pena que é meio lento pra inserir os passos da prova. -- []'s ...and justice for all. Ricardo Gentil de Araújo Pereira _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l