coenvk/lace-vercors

Formal automated verification of Lace's work-stealing deque using VerCors