Final project of the Mathematical Logic discipline using Alloy Analyzer.
-
Updated
Jul 6, 2018 - Alloy
Final project of the Mathematical Logic discipline using Alloy Analyzer.
there are some easy examples of programming, like a basic calculator...
Add a description, image, and links to the telecomunication topic page so that developers can more easily learn about it.
To associate your repository with the telecomunication topic, visit your repo's landing page and select "manage topics."