GitHub repository: tainahemmanuele/projetologica
Primary language: Alloy
Description: Repositório referente ao projeto da disciplina Lógica- UFCG