hora de tirar suas dúvidas sobre assistentes de demonstração

9 views

Skip to first unread message

Joao Marcos

unread,

Mar 15, 2022, 6:08:44 PM3/15/22

to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA

Nova área do Stack Exchange:

https://proofassistants.stackexchange.com/

Eduardo Ochs

unread,

Mar 15, 2022, 7:01:16 PM3/15/22

to Joao Marcos, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA

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.

Reply all

Reply to author

Forward

0 new messages