GitHub repository: msramalho/feup-mfes-summary
Primary language: Alloy
Description: Some useful Alloy tips and tricks to get around in MFES