ProostLean
Estado del proyecto: DesconocidoAn reimplementation of the Proost proof-assistant written in Lean 4
- Software o hardware objeto del proyecto
- Tipo de trabajo
- Repositorio público principal
- github.com/proost-assistant/proostlean
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.
Los metadatos del repositorio necesitan actualizarse. La ficha almacenada sigue disponible.
Descripción y alcance
An reimplementation of the Proost proof-assistant written in Lean 4
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/proost-assistant/proostlean