/seperation-logic

My endeavors to learn separation logic for the purpose of verified low-level programming.

No issues in this repository yet.