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

#book #formalmethods #plt