On Tue, 15 Mar 2022 at 15:08, Joao Marcos wrote:
>
> Nova área do Stack Exchange:
> https://proofassistants.stackexchange.com/
>
> JM
Tanto o Lean quanto o Agda têm Zulips com áreas pra perguntas de
iniciantes,
https://leanprover.zulipchat.com/
https://agda.zulipchat.com/
que são ótimas pra quando a gente acha que as nossas perguntas são
bobas demais... =)
[[]], E.
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
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/CADs%2B%2B6h%2BvYUy5LFWT%2BATyofs%3DVWQ%3Da27q%3D2t2qPREY9bOKE5LQ%40mail.gmail.com.