项目作者: SReichelt

项目描述 :
The Slate Interactive Theorem Prover
高级语言: TypeScript
项目地址: git://github.com/SReichelt/slate.git
创建时间: 2019-01-24T22:05:05Z
项目社区:https://github.com/SReichelt/slate

开源协议:MIT License

下载


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.