I also thought that seems implausibly large. My guess, based on some quick research, is that a large fraction of that is procedurally generated, not human-writt

I also thought that seems implausibly large. My guess, based on some quick research, is that a large fraction of that is procedurally generated, not human-written. Here's one example: > Formal verification tools allow those teams to be confident that their solution is complete and error-free, and the code itself is then automatically generated... With such a model-driven engineering (MDE) approach, software developers at ASML recently replaced half a million lines of code that had been built the conventional way. https://www.asml.com/en/news/stories/2017/knowing-how-to-code-is-not-enough https://www.asml.com/en/news/stories/2017/knowing-how-to-cod...