Excited to post ~15 new chapters in the F* book on Pulse and proof-oriented programming in concurrent separation logic, coupled with initial releases of the Pulse extension to F*. Just in time for our tutorial at POPL tomorrow! fstar-lang.org/tutorial/book/… #fstarlang
1
10
51
4K
14
