Grupo de Estudos e Discussão de Provadores de Teorema e Assistentes de Prova

31 views

Skip to first unread message

Guilherme Fabrício Carvalho

unread,

Jun 7, 2025, 9:40:26 AM6/7/25

to logi...@dimap.ufrn.br

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

Reply all

Reply to author

Forward

0 new messages