Repository Issues

KIT-TVA/WebCorC

Tool support for Correctness-by-Construction developed at Karlsruhe Institute of Technology

GitHub で見る
Stars
 (7 個のスター)
Forks
 (4 件のフォーク)
Indexed issues
 (1 件の索引済み Issue)
open beginner issues
 (1 件のオープンな初心者向け Issue)
最終索引
2026/08/14
最終 GitHub push
2026/07/07
ライセンス
Apache License 2.0
コントリビューションガイド
コントリビューションガイドはありません
行動規範
行動規範はありません
主要言語
TypeScript
PR merge metrics
 (PR metrics pending)
初心者向けラベル
good first issue

Issue

0 件のクローズ済み索引 Issue

このリポジトリには closed の索引済み Issue がありません。