---------- Forwarded message --------- From: Eduardo Alejandro Barrio
Dear friends, Ariel Roffé, of the BA-Logic group, has recently released the code of the logic modules of TAUT (https://www.taut-logic.com/) into a public repository (https://github.com/ariroffe/logics). The idea is to turn this into a collaborative project. If anyone is interested in participating, or in organizing a videoconference to see how it works, please let us know. All the best, Eduardo -- Eduardo Alejandro Barrio Investigador Principal - IIF-SADAF-CONICET Universidad de Buenos Aires BA-LOGIC Vicedirector IIF-SADAF-CONICET -- 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 logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lis7g6O3SXMBUA_KKJvH0Gf6Auf_%3DjrHL3oLPXSfJR8dg%40mail.gmail.com.