slate2

Projektstatus: Unbekannt

Beginnings of reimplementation of slate-prover

Untersuchte Software oder Hardware: slate-prover
Arbeitsansatz: Neuimplementierung und Kompatibilität
Öffentliches Hauptrepository: github.com/sreichelt/slate2

Projekte werden nach der zuletzt erfassten Anzahl an Repository-Sternen sortiert. Sterne zeigen Interesse, keinen Fortschritt. Fehlende Werte bleiben unbekannt.

Über das Projekt und seinen Umfang

Beginnings of reimplementation of slate-prover

Möglichkeiten zur Mitarbeit

Regeln zur Mitarbeit unbekannt

Regeln für KI-unterstützte Beiträge: Nicht angegeben

Dokumentierte Systeme für Mitwirkende

Arbeitsumgebung nicht dokumentiert

Gemeldeter Fortschritt

Kein Fortschritt gemeldet

Quellen, Builds und Veröffentlichungen

Repository öffnen · github.comgithub.com/sreichelt/slate2