Slate is an interactive theorem prover that is currently under development.
There are three ways of working with Slate:
Slate can be accessed online at https://slate-prover.org/. Users can browse and edit the library graphically. Additions and changes are submitted either anonymously or as GitHub pull requests.
An extension for Microsoft Visual Studio Code integrates the entire web GUI, while also letting the user edit the source code in parallel. The extension supports most VSCode features including refactoring operations.
Both the web version and the VSCode extension can also be built and executed locally. For instructions, please see docs/dev/README.md.