Skip to content

Tree Borrows (done)

Johannes Hostert requested to merge ci/tree-borrows into master

Tis is the Tree Borrows development, complete with a formalization of the entire semantics, a bunch of proofs about it, and also example simulation proofs. The examples in particular can be found in theories/tree_borrows/examples and have a very rudimentary README.md

Merge request reports