GitHub repository: turtles-app/proofEngine
Primary language: JavaScript
Created: 2015-12-08T21:48:15Z
Description: Simple node app with the structure required to express and verify set theoretic proofs