Reasoning about streams using induction

...

Resources

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

Version

Created [10 Apr 2025]