/ramifications-sharing-datastructures

Reasoning about mutable data structures in the presence of sharing.

Primary LanguageIsabelle

Stargazers

No one’s star this repository yet.