Modeling Git Internals in Alloy, Part 2: Commits and Tags by from Hacker News on 2023-04-10 11:47 (#6AN40) Comments