Oi lista, alguém aqui sabe usar Idris ou Agda o suficiente pra formalizar estruturas algébricas simples e provas sobre elas? E que toparia me ajudar a formalizar umas coisas em Idris ou Agda, pra gente publicar umas notas sobre essa formalização/tradução como coautores no Arxiv? Acho que seriam pouquíssimos dias de trabalho... as coisas que eu mais quero formalizar são essas aqui,
http://angg.twu.net/LATEX/2020J-ops-new.pdf#page=9 http://angg.twu.net/LATEX/2020favorite-conventions.pdf#page=17 http://angg.twu.net/LATEX/2020favorite-conventions.pdf#page=33 http://angg.twu.net/LATEX/2020favorite-conventions.pdf#page=35 [[]], Eduardo Ochs http://angg.twu.net/math-b.html -- 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/CADs%2B%2B6jYwvC6VcQ8G7ukJ7%2BhRAAgr5X7-h6H8TMHUU%3DSpX5SXQ%40mail.gmail.com.
