Worked Example

One example carried the whole way through, with each claim tested against states the program really reaches.

Explore History Worked example

Logic

Running example

Refuted means a counterexample was found and it is printed beside the step. Survived only means none was found. The prose is checked by nothing, and video links are searches.