Skip to content

Latest commit

 

History

History
16 lines (9 loc) · 864 Bytes

README.md

File metadata and controls

16 lines (9 loc) · 864 Bytes

The Slate interactive theorem prover

Slate is an interactive theorem prover that is currently under development. This repository contains its standard library.

Web access

Slate is designed as a web application; the entire library can be edited using the web interface at https://slate-prover.org/.

The web interface automatically creates personal forks of this repository for each contributor, and sends submissions as pull requests.

Local development

For more complex tasks, we recommend the extension for Microsoft Visual Studio Code. Please follow the instructions on that page.

The Slate repository contains the library as a Git submodule. To upload local changes, you will need to add your own fork as a Git remote for this submodule.