I guess I can see the marketing interest in having a formally verified lexer, but I find lexer bugs to be basically non-existent in practice, so I wouldn't expe

I guess I can see the marketing interest in having a formally verified lexer, but I find lexer bugs to be basically non-existent in practice, so I wouldn't expect this to improve software in any meaningful way.