The running example in Section MS.3 uses one institutional realization throughout. Its claims can be separated without losing their connection.
Machine-Native ReasoningReading edition
MS: additional mathematical material
Reading tools
Reading library
Text settings
Saved in this browser for reading chapters. Browser zoom also works.
Loading chapter…