GitHub repository: niebert/eProofJS
Primary language: JavaScript
Created: 2015-10-19T10:03:03Z
Description: Learners support for electronic mathematical proofs running in a browser and emulating the iMathAS behaviour of automated proof assessment  with HTML/Javasript .