tchajed / seplogic-demo

Demos for lecture on Separation Logic by O'Hearn from CACM 2019.

https://tchajed.github.io/seplogic-demo/delete_tree.html

Geek Repo

Github PK Tool