verification - sproul.xyz

Michael Sproul

Archive

Honours Thesis - September 18, 2016

Navigation

Home
About
Papers
Archive

Tags

algorithms australia bitcoin blockchain btrfs capitalism coq databases democracy distributed ethereum functional-programming haskell how-to linux politics python quine rant religion research rust security tech verification

All content by Michael Sproul and licensed under a CC-BY-SA 4.0 license (source).