argumentcomputer/straume

GitHub で見る

State-of-the-art streams for Lean 4

スター: 6
フォーク: 5
オープンの初心者向け issue: 0
索引済み issue: 3

主要言語: Lean
ライセンス: MIT
最終 GitHub push: 2023年12月25日
最新の索引: 2026年9月14日
コントリビューションガイド: コントリビューションガイドがありません
行動規範: 行動規範がありません
初心者向けラベル: 初心者向けラベルは索引されていません
PR マージ指標: 30日以内にマージされた PR はありません

初心者向けすべて

オープンすべて

Dead code: Move Ordering.lean and Clock.lean オープン

難易度 4/5 3〜5日初心者へのやさしさ 25/100

argumentcomputer/straume#15 · 2022年9月15日に作成
Improvement: Currently the user can define a stream with buffer length = 0. Perhaps, we need to restrict it in types to PosNat オープン

難易度 3/5 1〜2日初心者へのやさしさ 42/100

argumentcomputer/straume#9 · 2022年8月4日に作成
Design Straume.Channel オープン

difficult

難易度 5/5 1週間以上初心者へのやさしさ 20/100

argumentcomputer/straume#2 · 2022年7月7日に作成

初心者向けの GitHub issue を短くまとめたダイジェスト。