https://github.com/SReichelt/slate
The Slate Interactive Theorem Prover
https://github.com/SReichelt/slate
collaboration formal-mathematics interactive-theorem-proving mathematical-expressions mathematical-logic proof-assistant web-app
Last synced: over 1 year ago
JSON representation
The Slate Interactive Theorem Prover
- Host: GitHub
- URL: https://github.com/SReichelt/slate
- Owner: SReichelt
- License: mit
- Created: 2019-01-24T22:05:05.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2023-01-09T12:20:20.000Z (over 3 years ago)
- Last Synced: 2024-10-28T16:45:32.371Z (over 1 year ago)
- Topics: collaboration, formal-mathematics, interactive-theorem-proving, mathematical-expressions, mathematical-logic, proof-assistant, web-app
- Language: TypeScript
- Homepage: https://slate-prover.org
- Size: 7.5 MB
- Stars: 23
- Watchers: 2
- Forks: 1
- Open Issues: 47
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# 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](https://marketplace.visualstudio.com/items?itemName=sreichelt.slate) 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](docs/dev/README.md).