slate
slate copied to clipboard
The Slate Interactive Theorem Prover
The Slate interactive theorem prover
Slate is an interactive theorem prover that is currently under development.
There are three ways of working with Slate:
Web access
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.
VSCode extension
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.
Local build
Both the web version and the VSCode extension can also be built and executed locally. For instructions, please see docs/dev/README.md.