argumentcomputerStraume

State-of-the-art streams for Lean 4

Straume

A state-of-the-art library for streams in Lean 4.