GitHub repository: lucasdiniz/projetoLogica
Primary language: Alloy
Created: 2017-03-21T17:17:38Z
Description: Projeto destinado a conclusão da disciplina de Lógica Matemática do curso de ciência da computação da UFCG.