discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Modeling Git Internals in Alloy, Part 2: Commits and Tags
https://bytes.zone/posts/modeling-git-internals-in-alloy-part-2-commits-and-tags/
17 comments
10/4/2023