LaTeX sources for my doctoral dissertation, "Weak-Memory Local Reasoning"
Python Shell
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
dependency-graph
.gitignore
README
bcprules.sty
clean.sh
definitions.tex
dissertation-old.tex
dissertation-really-old.tex
dissertation.bib
dissertation.tex
notation.tex
refresh-closure.sh
refresh.py
summary.tex
utthesis2.sty