slate hlm

O teorema interativo da ardósia provador

O Slate é um provador interativo do teorema que está atualmente em desenvolvimento. Este repositório contém sua biblioteca padrão.

Acesso à Web

Slate foi projetado como um aplicativo da Web; Toda a biblioteca pode ser editada usando a interface da web em https://slate-prover.org/.

A interface da Web cria automaticamente os garfos pessoais deste repositório para cada colaborador e envia envios como solicitações de tração.

Desenvolvimento local

Para tarefas mais complexas, recomendamos a extensão do código do Microsoft Visual Studio. Siga as instruções nessa página.

O repositório de ardósia contém a biblioteca como um submódulo Git. Para fazer upload de alterações locais, você precisará adicionar seu próprio garfo como um controle remoto do Git para este submódulo.