como checar demonstrações produzidas com a assistência de um computador?
uma discussão interessante, com propostas de regras para o autor, para o revisor, para o editor e para o periódico: http://math.andrej.com/2013/08/19/how-to-review-formalized-mathematics/ jm _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
