slate2

Stato del progetto: Sconosciuto

Beginnings of reimplementation of slate-prover

Software o hardware oggetto del progetto: slate-prover
Tipo di lavoro: Reimplementazione e compatibilità
Repository pubblico principale: github.com/sreichelt/slate2

I progetti sono ordinati per l’ultimo numero di stelle rilevato nel repository. Le stelle indicano interesse, non avanzamento. I valori mancanti restano sconosciuti.

Descrizione e ambito

Beginnings of reimplementation of slate-prover

Disponibilità ad accettare contributi

Regole sui contributi sconosciute

Regole sui contributi assistiti dall'IA: Non specificato

Sistemi documentati per contribuire

Ambiente di contribuzione non documentato

Avanzamento dichiarato

Avanzamento non dichiarato

Fonti, compilazione e release

Apri il repository · github.comgithub.com/sreichelt/slate2