Seminar series: Every proof assistant http://math.andrej.com/2020/04/28/every-theorem-prover/
As palestras começam na próxima 5a-feira. JM -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Liq4vjEaG0UC9gA0%3DgCPoA6bZVda_AbF2sy0rfA23dLVA%40mail.gmail.com.
