Fast and easy-to-use coinductive datatypes for Lean4

Coinductive datatypes are structures I have taken a great deal of interest in in the past years. I wrote my dissertation on how to make them performant, and I had an internship under Alex Keizer working on them!

Still working here! Might put more resources up over time :)