# Daniel Freiermuth: Bachelor's Thesis

# Formalizing stream calculus using coinduction

**Advisors:** Steven SchÃ¤fer

## Abstract:

We formalize the principle of stream calculus in coq. Employing coinduction we will define several structures on those, especially streams as generating functions and expontial generating functions. Using those structures we will be able derive and proof the explicit forumula of Fibonacci and show some other basic results.

## References:

Daniel Freiermuth,
Mon Mar 5 15:29:39 2018