3 ms·Pulse: Proof-oriented Programming with Concurrent Separation Logic in F* [video]2 points by matt_d 2y ago