1. 5
    Modeling Git Internals in Alloy, Part 3: Operations on Blobs and Trees formalmethods bytes.zone
    brianhicks avatar via brianhicks 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
    1. 1
      rs86 avatar rs86 5 months ago | link

      Wonder if the concept of conflicts can be modeled sensibly :)