Para aqueles que têm acesso, um artigo potencialmente interessante que acabou de sair na revista da ACM do mês que vem (!):
Formally Verified Mathematics --Jeremy Avigad, John Harrison Communications of the ACM April 2014 (Vol. 57, No. 4) Pages 66-75 10.1145/2591012 JM _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
