Honours Thesis
Written by Michael Sproul on September 18, 2016.
I finished my honours thesis a few months ago. This is me getting around to putting it online, see here.
I finished my honours thesis a few months ago. This is me getting around to putting it online, see here.
Tagged: coq, verification, research, functional-programming