Show HN: Vyukov MPSC queue in C++20 with a six-claim formal memory-model proof

2 pointsposted 4 hours ago
by nisgem
(github.com)

No comments yet