proofweb
Projektstatus: UnbekanntThis repository is dedicated to decompiling and creating a new and improved version of the proving tool ProofWeb
- Untersuchte Software oder Hardware
- Arbeitsansatz
- Öffentliches Hauptrepository
- github.com/goose-alt/proofweb
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
This repository is dedicated to decompiling and creating a new and improved version of the proving tool ProofWeb
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/goose-alt/proofweb