Repository Issues

runtimeverification/vlsm

GitHub で見る
Stars
 (5 stars)
Forks
 (1 fork)
Indexed issues
 (4 indexed issues)
open beginner issues
 (0 open beginner issues)
最終索引
2026年7月19日
最終 GitHub push
2023年12月20日
ライセンス
BSD 3-Clause "New" or "Revised" License
コントリビューションガイド
コントリビューションガイドはありません
行動規範
行動規範はありません
主要言語
Coq
PR merge metrics
 (PR metrics pending)
初心者向けラベル
索引済み初心者向けラベルはありません

Issue

4 open indexed issues

RSSAtom
オープン
Use constrained concepts across the codebase
Proof Engineeringgood first issue

runtimeverification/vlsm #382 は 2023年12月19日 に作成 · Coq · 5 stars

おすすめ理由担当者がまだいない · コメントがまだない
担当者がまだいないコメントがまだない初心者向けラベルあり
0 件のコメント0 件のリアクション0 担当者