GitHub repository: lurk-lab/straume
Primary language: Lean
Description: State-of-the-art streams for Lean 4