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: