GitHub repository: Frankl1sales/Formal-Semantics-Course
Primary language: Shell
Description: Repositório com códigos e exercícios da disciplina de Semântica Formal, ministrada pelo professor André Rauber Du Bois. A disciplina explora os fundamentos da semântica formal e computacional, conectando expressões linguísticas aos seus significados através de abordagens lógicas.