10/28/2017
Walking through an F* proof

gist.github.com October 2017