Post #1621817

https://kirancodes.me/posts/log-who-watches-the-watchers.html #formalverification #bug very nice finding: the actually formal verified code was really correct! But the underlying library was not. Nor was the code responsible for reading the file. So: who verifies the verifiers? LLMs, of course :)