Download
With this tool you can create a learning environment for mathematical proofs as a single HTML file, that can be updloaded to Web Server or used offline on a students Computer. The teacher can decide which support is provided to student. Self assessment for a single proof step and the full proof is available in the offline environment. Students just need a browser to run the e-Proof Environment. eProofElectron is an Authoring Tool for Teacher to create the eProof-HTML files. Furthermore it is possible to export an IMathAS task, so that the automated assessment can be used in the Internet Mathematical Assessment System (IMathAS).
http://e-proof.weebly.com
Features
- Authoring e-Proofs
- Export e-Proof to IMathAS
- Create offline HTML/JS e-Proofs
Project Samples
Follow eProofElectron
Other Useful Business Software
Agentic AI SRE built for Engineering and DevOps teams.
NeuBird AI's agentic AI SRE delivers autonomous incident resolution, helping team cut MTTR up to 90% and reclaim engineering hours lost to troubleshooting.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of eProofElectron!
