tlaplus/Examples
GitHub で見るA collection of TLA⁺ specifications of varying complexities.
- スター
- 1.6k
- フォーク
- 224
- オープンの初心者向け issue
- 0
- 索引済み issue
- 5
- 平均マージ
- 7日 16時間
- マージ済み PR（30日）
- 4
- 主要言語
- TLA
- ライセンス
- ライセンスのデータがありません
- 最終 GitHub push
- 2026年9月15日
- 最新の索引
- 2026年9月19日
- コントリビューションガイド
- コントリビューションガイド
- 行動規範
- 行動規範がありません
- 初心者向けラベル
- help wanted
-
question
難易度 3/5 1〜2日 初心者へのやさしさ 48/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 35/100
-
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
-
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
-
help wanted
難易度 3/5 1〜2日 初心者へのやさしさ 35/100