Induction and coinduction for reasoning about streams¶

...

Resources¶

The .v file for the present lecture note (latest version: 10 Apr 2025).

Version¶

Created [10 Apr 2025]

Table Of Contents

Induction and coinduction for reasoning about streams
- Resources
- Version

Previous topic

Reasoning about streams using coinduction

Next topic

Reasoning about lazy lists using coinduction