slate hlm

スレートインタラクティブ定理プロバー

Slateは、現在開発中のインタラクティブな定理調査者です。このリポジトリには標準ライブラリが含まれています。

Webアクセス

SlateはWebアプリケーションとして設計されています。ライブラリ全体は、https：//slate-prover.org/のWebインターフェイスを使用して編集できます。

Webインターフェイスは、各貢献者のこのリポジトリの個人的なフォークを自動的に作成し、提出物をプルリクエストとして送信します。

ローカル開発

より複雑なタスクについては、Microsoft Visual Studioコードの拡張機能をお勧めします。そのページの指示に従ってください。

スレートリポジトリには、GITサブモジュールとしてライブラリが含まれています。ローカルの変更をアップロードするには、このサブモジュールのGitリモコンとして独自のフォークを追加する必要があります。