slate2

Stan projektu: Nieznany

Beginnings of reimplementation of slate-prover

Badane oprogramowanie lub sprzęt: slate-prover
Rodzaj prac: Reimplementacja i zgodność
Główne publiczne repozytorium: github.com/sreichelt/slate2

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

Beginnings of reimplementation of slate-prover

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/sreichelt/slate2