Oi Anderson, > Eu traduzi o editor e corretor de provas por dedução natural deles (do > Open Logic Project), pra usar em aulas em tempos de pandemia... (por > enquanto está hospedado aqui: http://andersonnakano.hyperphp.com/) >
Que bacana!! Tem como exportar a prova pronta para um arquivo .pdf? Se você topar, podemos incluir sua tradução no no "Para Todxs: Natal". Em breve teremos um site e o projeto disponível no GitHub. Saudações, Daniel. ----- Departamento de Filosofia - (UFRN) http://danieldurante.weebly.com -- 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/93ee671a-ff66-41e3-b2a9-60bfed03d0d8n%40dimap.ufrn.br.
