Comment by esafak

Yes, as I noted in the issue. dqlite is the kind of "load bearing" project that would benefit from formal verification: https://ubuntu.com/blog/hunting-a-16-year-old-sqlite-bug-wit...