> Writing code in E is nothing like writing formally verified code. It's a lot less work than writing code in Java or C++. I bet it’s not, for the very simple

> Writing code in E is nothing like writing formally verified code. It's a lot less work than writing code in Java or C++. I bet it’s not, for the very simple reason that most software today isn’t written in E. This sounds like I’m being flippant but I’m not. The total “cost” of writing code in a specific language includes things like “can I find the answer on Stack Overflow?” and “can I hire enough engineers to code in this language?” And the total cost of coding in E is almost certainly higher than in Java because if it wasn’t, people would already be doing it.