3 ms·Tonight on Top Bit: I formally verify a theorem, James designs a dbms, and Richard writes a blog.by moffkalast 10mo agoTonight on Top Bit: I formally verify a theorem, James designs a dbms, and Richard writes a blog.