slate hlm

Le prover du théorème interactif en ardoise

Slate est un prover de théorème interactif qui est actuellement en cours de développement. Ce référentiel contient sa bibliothèque standard.

Accès Web

Slate est conçue comme une application Web; La bibliothèque entière peut être modifiée à l'aide de l'interface Web à https://slate-prover.org/.

L'interface Web crée automatiquement des fourches personnelles de ce référentiel pour chaque contributeur et envoie des soumissions sous forme de demandes de traction.

Développement local

Pour des tâches plus complexes, nous recommandons l'extension pour le code Microsoft Visual Studio. Veuillez suivre les instructions sur cette page.

Le référentiel en ardoise contient la bibliothèque en tant que sous-module GIT. Pour télécharger des modifications locales, vous devrez ajouter votre propre fourche en tant que télécommande GIT pour ce sous-module.