Run

Statistics

Metric	Count
Definitions `jif`, `jif'`, `nextInstruction`, `runNSteps`, `runOneStep`	5
Theorems	0
Total	5

Name	Category	Theorems
`jif` 📖	CompOp	—
`jif'` 📖	CompOp	—
`nextInstruction` 📖	CompOp	—
`runNSteps` 📖	CompOp	8 math math: `run_N_comm`, `run_n_run_one_comm`, `run_one_step_eq_run_n_1`, `runNSteps_currInstruction`, `run_n_run_one`, `runNSteps_code_remains`, `run_n_m_steps_comp`, `run_zero_steps`
`runOneStep` 📖	CompOp	4 math math: `run_n_run_one_comm`, `run_one_step_eq_run_n_1`, `run_n_run_one`, `runOneSteps_code_remains`

---