Michael Sproul

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.


Tagged: coq, verification, research, functional-programming