Colegas, bom dia! Gostaria de divulgar um grupo de WhatsApp que alunos e pesquisadores da USP e Unicamp têm montado para estudo e discussões acerca de provadores de teorema, assistentes de provas, verificação e especificação formal e teoria de tipos.
O grupo já conta com 75 membros e planejamos começar nossos estudos em breve, possivelmente em Lean ou Coq. Aos interessados, sintam-se livres para juntar-se, discutir e fazer quaisquer perguntas: https://chat.whatsapp.com/J6QIlyJaXOABdQLL28SxhT (link do grupo) Todos serão muito bem vindos! Atenciosamente, Guilherme Carvalho -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- 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 conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAK_0BW%2BtfP5-9oUSZ5BmYmp_C0C4uwWcqenmFXZRO9G3pfiSYw%40mail.gmail.com.
