Login
From:
bytes.zone
(Uncensored)
subscribe
Modeling Git Internals in Alloy, Part 3: Operations on Blobs and Trees
https://bytes.zone/posts/modeling-git-internals-in-alloy-part-3-operations-on-blobs-and-trees/
links
backlinks
Roast topics
Find topics
Find it!
Understanding Git better by using lightweight formal methods
