madwau/ramifications-sharing-datastructures

Reasoning about mutable data structures in the presence of sharing.

Isabelle