argumentcomputer

argumentcomputer/straume

State-of-the-art streams for Lean 4

Stars: 6
Forks: 5
Open beginner issues: 0
Indexed issues: 3

Dominant language: Lean
License: MIT
Last GitHub push: Dec 25, 2023
Latest indexed: Sep 14, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed
PR merge metrics: No merged PRs in 30d

Open All

3 issues indexed so far

Design Straume.Channel Open

difficult

argumentcomputer/straume#2 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Improvement: Currently the user can define a stream with buffer length = 0. Perhaps, we need to restrict it in types to PosNat Open

argumentcomputer/straume#9 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026
Dead code: Move Ordering.lean and Clock.lean Open

argumentcomputer/straume#15 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 14, 2026

A short digest of beginner-friendly GitHub issues.