slate hlm

板岩互动定理供体

Slate是目前正在开发的交互式定理供奉献者。该存储库包含其标准库。

Web访问

Slate被设计为Web应用程序；可以在https://slate-prover.org/上使用Web界面进行编辑整个库。

Web界面自动为每个贡献者创建此存储库的个人分叉，并作为拉请求发送提交。

地方发展

对于更复杂的任务，我们建议Microsoft Visual Studio代码的扩展名。请按照该页面上的说明进行操作。

板岩存储库包含库作为git子模块。要上传本地更改，您需要将自己的叉子添加为此类子模块的git遥控器。