slate hlm

Проверка интерактивной интерактивной теоремы

Slate - это интерактивная провальная программа теорема, которая в настоящее время находится в стадии разработки. Этот репозиторий содержит свою стандартную библиотеку.

Доступ к Интернету

Slate разработан как веб -приложение; Вся библиотека может быть отредактирована с помощью веб-интерфейса по адресу https://slate-prover.org/.

Веб -интерфейс автоматически создает личные вилки этого репозитория для каждого участника и отправляет заявки в качестве запросов.

Местное развитие

Для более сложных задач мы рекомендуем расширение для кода Microsoft Visual Studio. Пожалуйста, следуйте инструкциям на этой странице.

Репозиторий сланца содержит библиотеку как подмодуль GIT. Чтобы загрузить локальные изменения, вам нужно будет добавить свою собственную вилку в качестве пульта GIT для этого подмодуля.