proofweb
État du projet: InconnuThis repository is dedicated to decompiling and creating a new and improved version of the proving tool ProofWeb
- Logiciel ou matériel étudié
- Type de travail
- Dépôt public principal
- github.com/goose-alt/proofweb
Les projets sont classés selon le dernier nombre d’étoiles relevé sur leur dépôt. Les étoiles reflètent l’intérêt, pas l’avancement. Les valeurs manquantes restent inconnues.
Présentation et périmètre
This repository is dedicated to decompiling and creating a new and improved version of the proving tool ProofWeb
Accueil des contributions
Règles de contribution inconnues
- Règles sur les contributions assistées par IA
- Non précisé
Systèmes documentés pour contribuer
Configuration pour contribuer non documentée
Avancement communiqué
Avancement non communiqué
Code source, compilations et versions
- Ouvrir le dépôt · github.comgithub.com/goose-alt/proofweb