argumentcomputer/LSpec
GitHub で見るA Testing Framework for Lean
- スター
- 86
- フォーク
- 18
- オープンの初心者向け issue
- 0
- 索引済み issue
- 1
- 平均マージ
- 15時間 25分
- マージ済み PR（30日）
- 1
- 主要言語
- Lean
- ライセンス
- MIT
- 最終 GitHub push
- 2026年8月22日
- 最新の索引
- 2026年9月14日
- コントリビューションガイド
- コントリビューションガイドがありません
- 行動規範
- 行動規範がありません
- 初心者向けラベル
- 初心者向けラベルは索引されていません
-
bug enhancement
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
argumentcomputer/LSpec#26 ·