Lemmas

Statistics

Metric	Count
Definitions	0
Theorems `bindList_append`, `bindList_cons`, `bindList_cons'`, `bindList_nil`, `bind_bindList_assoc`, `bind_done`, `bind_yield`, `bind_yield_bindList`, `done_bindList`, `run_done`, `run_yield`	11
Total	11

Name	Kind	Assumes	Proves	Validates	Depends On
`bindList_append` 📖	mathematical	—	`bindList`	—	`bind_bindList_assoc`
`bindList_cons` 📖	mathematical	—	`bindList` `bind`	—	—
`bindList_cons'` 📖	mathematical	—	`bindList` `bind`	—	`bind_bindList_assoc`
`bindList_nil` 📖	mathematical	—	`bindList`	—	—
`bind_bindList_assoc` 📖	mathematical	—	`bind` `bindList`	—	`done_bindList`
`bind_done` 📖	mathematical	—	`bind`	—	—
`bind_yield` 📖	mathematical	—	`bind`	—	—
`bind_yield_bindList` 📖	mathematical	—	`bind` `bindList`	—	`done_bindList`
`done_bindList` 📖	mathematical	—	`bindList`	—	—
`run_done` 📖	mathematical	—	`run`	—	—
`run_yield` 📖	mathematical	—	`run`	—	—

---