Repository Issues

runtimeverification/vlsm

Auf GitHub ansehen
Stars
 (5 Stars)
Forks
 (1 Fork)
Indexierte Issues
 (4 indexierte Issues)
offene Einsteiger-Issues
 (0 offene Einsteiger-Issues)
Zuletzt indexiert
19. Juli 2026
Letzter GitHub Push
20. Dez. 2023
Lizenz
BSD 3-Clause "New" or "Revised" License
Contributing Guide
Kein Contributing Guide
Code of Conduct
Kein Code of Conduct
Hauptsprache
Coq
PR-Merge-Metriken
 (PR-Metriken ausstehend)
Einsteiger-Labels
Keine Einsteiger-Labels indexiert

Issues

4 offene indexierte Issues

RSSAtom
Offen
Use constrained concepts across the codebase
Proof Engineeringgood first issue

runtimeverification/vlsm #382 19. Dez. 2023 geöffnet · Coq · 5 Stars

Warum empfohlenNoch niemand zugewiesen · Noch keine Kommentare
Noch niemand zugewiesenNoch keine KommentareEinsteigerfreundliches Label vorhanden
0 Kommentare0 Reaktionen0 zugewiesene Personen