proofweb
Stan projektu: NieznanyThis repository is dedicated to decompiling and creating a new and improved version of the proving tool ProofWeb
- Badane oprogramowanie lub sprzęt
- Rodzaj prac
- Główne publiczne repozytorium
- github.com/goose-alt/proofweb
Projekty są sortowane według ostatniej zapisanej liczby gwiazdek repozytorium. Gwiazdki oznaczają zainteresowanie, a nie postęp prac. Brakujące wartości pozostają nieznane.
Opis i zakres prac
This repository is dedicated to decompiling and creating a new and improved version of the proving tool ProofWeb
Możliwość współpracy
Zasady współpracy nieznane
- Zasady korzystania z AI
- Nie określono
Systemy współtwórców według dokumentacji
Brak dokumentacji środowiska współtwórcy
Podany postęp
Nie podano postępu
Kod źródłowy, budowanie i wydania
- Otwórz repozytorium · github.comgithub.com/goose-alt/proofweb