Welcome to the Slate web-based interactive theorem prover.

Slate is a project to build a web-based interactive theorem prover with a focus on abstract mathematics. It is optimized for being easy to learn.

Running Slate in your browser requires that JavaScript is enabled.

Otherwise, please follow these links: