Modeling Git Internals in Alloy, Part 1: Blobs and Trees CRANK Understanding Git better by using lightweight formal methods bytes.zone 2 years ago Related Topics: Git GitHub arrow_back open_in_new Open page https://bytes.zone/posts/modeling-git-internals-in-alloy-part-1-blobs-and-trees/
