discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Lobsters
Modeling Git Internals in Alloy, Part 1: Blobs and Trees
https://bytes.zone/posts/modeling-git-internals-in-alloy-part-1-blobs-and-trees/
12 comments
3/4/2023
formalmethods