Run

Statistics

Metric	Count
Definitions `jif`, `jif'`, `nextInstruction`, `runNSteps`, `runOneStep`, `runUntilTerminated`, `runUntilTerminatedWithFuel`	7
Theorems	0
Total	7

Name	Category	Theorems
`jif` 📖	CompOp	—
`jif'` 📖	CompOp	—
`nextInstruction` 📖	CompOp	—
`runNSteps` 📖	CompOp	16 math math: `run_N_comm`, `runNSteps_add`, `run_n_run_one_comm`, `run_one_step_eq_run_n_1`, `runNSteps_pc_nin`, `runNSteps_currInstruction`, `run_n_plus_m_intersect`, `runNSteps_diff`, `run_n_run_one`, `runNSteps_pc_nin_extra_step`, `runNSteps_code_remains`, `runNSteps_pc_in_superset`, `run_n_m_steps_comp`, `run_zero_steps`, `run_n_plus_m_pc_not_in_set`, `run_n_plus_m_diff_set`
`runOneStep` 📖	CompOp	4 math math: `run_n_run_one_comm`, `run_one_step_eq_run_n_1`, `run_n_run_one`, `runOneSteps_code_remains`
`runUntilTerminated` 📖	CompOp	—
`runUntilTerminatedWithFuel` 📖	CompOp	—

---