GitHub repository: stp/stp.github.io
Primary language: JavaScript
Created: 2015-04-02T12:55:55Z
Description: The website for STP, the Simple Theorem Prover