proofweb
Stato del progetto: SconosciutoThis repository is dedicated to decompiling and creating a new and improved version of the proving tool ProofWeb
- Software o hardware oggetto del progetto
- Tipo di lavoro
- Repository pubblico principale
- github.com/goose-alt/proofweb
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
This repository is dedicated to decompiling and creating a new and improved version of the proving tool ProofWeb
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/goose-alt/proofweb