The Proof-oriented Programming in F* Book - View it on GitHub