slate hlm

板岩互動定理供體

Slate是目前正在開發的交互式定理供奉獻者。該存儲庫包含其標準庫。

Web訪問

Slate被設計為Web應用程序；可以在https://slate-prover.org/上使用Web界面進行編輯整個庫。

Web界面自動為每個貢獻者創建此存儲庫的個人分叉，並作為拉請求發送提交。

地方發展

對於更複雜的任務，我們建議Microsoft Visual Studio代碼的擴展名。請按照該頁面上的說明進行操作。

板岩存儲庫包含庫作為git子模塊。要上傳本地更改，您需要將自己的叉子添加為此類子模塊的git遙控器。