Proof-oriented Programming in F* (via nextos) — discussion

#book #formalmethods #plt