slate2

État du projet: Inconnu

Beginnings of reimplementation of slate-prover

Logiciel ou matériel étudié: slate-prover
Type de travail: Réimplémentation et compatibilité
Dépôt public principal: github.com/sreichelt/slate2

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

Beginnings of reimplementation of slate-prover

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