Explanation

Background reading for the concepts CodeLogician is built on. The how-to guides cover the day-to-day work; these pages cover why it is shaped the way it is, so that a surprising result is interpretable rather than merely surprising.

• Why Logic-FirstWhat automated reasoning answers that an LLM cannot, shown on two real analyses
• Thinking FormallyWhat changes when you write code for a reasoning engine to read, and how to choose the right level of abstraction
• AutoformalizationHow source code becomes a model, why the loop converges, and what a model's status tells you about which analyses are available

Related

• Region decomposition: the core analysis, as a guide
• Case studies: the same ideas applied to production-shaped systems at length
• Reference: every CLI command and IML construct