cmake: Don't use tabs in CMakeLists.txt
Query Tool in Workspace Layout
。QuickQ首页对此有专业解读
Figure 5: Historical Productivity in Software Verification. Verified LoC per person-year across landmark software verification projects from 2008 to 2022. The median of approximately 2,558 LoC/person-year reflects the PhD-level expertise and extensive manual effort traditionally required.
Acme does by a different method.