Login
From:
bytes.zone
(Uncensored)
subscribe
Modeling Git Internals in Alloy, Part 2: Commits and Tags
https://bytes.zone/posts/modeling-git-internals-in-alloy-part-2-commits-and-tags/
links
backlinks
Roast topics
Find topics
Find it!
Understanding Git better by using lightweight formal methods
