slate hlm
1.0.0
Slate es un prover del teorema interactivo que está actualmente en desarrollo. Este repositorio contiene su biblioteca estándar.
Slate está diseñada como una aplicación web; Toda la biblioteca se puede editar utilizando la interfaz web en https://slate-prover.org/.
La interfaz web crea automáticamente horquillas personales de este repositorio para cada contribuyente, y envía envíos como solicitudes de extracción.
Para tareas más complejas, recomendamos la extensión de Microsoft Visual Studio Code. Siga las instrucciones en esa página.
El repositorio de pizarra contiene la biblioteca como un submódulo Git. Para cargar cambios locales, deberá agregar su propia horquilla como control remoto GIT para este submódulo.
