slate2

Estado del proyecto: Desconocido

Beginnings of reimplementation of slate-prover

Software o hardware objeto del proyecto: slate-prover
Tipo de trabajo: Reimplementación y compatibilidad
Repositorio público principal: github.com/sreichelt/slate2

Los proyectos se ordenan por el último número de estrellas registrado. Las estrellas indican interés, no progreso. Los recuentos no disponibles se muestran como desconocidos.

Descripción y alcance

Beginnings of reimplementation of slate-prover

Admisión de colaboraciones

Política de colaboración desconocida

Política de contribuciones asistidas por IA: Sin especificar

Sistemas documentados para colaborar

Entorno de colaboración sin documentar

Progreso comunicado

No se ha comunicado el progreso

Código fuente, compilaciones y versiones

Abrir repositorio · github.comgithub.com/sreichelt/slate2