I've certainly heard of such things. If there's a tool to prove that my 135,000 ...

		rerdavies on April 24, 2023 \| parent \| context \| favorite \| on: An introduction to lockless algorithms (2021) I've certainly heard of such things. If there's a tool to prove that my 135,000 lines of C++ are formally correct, I'm up for it. :-)