GitHub repository: max-heller/lfs-final-project
Primary language: Alloy
Description: Modeling and comparing data types with Alloy Analyzer