eProofElectron

Create an webbased learning environment for mathematical proofs

Status: Beta

Brought to you by: niebert2016

Downloads: 0 This Week

Last Update: 2016-10-12

Get an email when there's a new version of eProofElectron

Linux Mac Windows

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

eProofElectron Authoring

Project Activity

See All Activity >

Follow eProofElectron

eProofElectron Web Site

Other Useful Business Software

Your monitoring isn't a stack. It's a pile. Fix that. Icon

Your monitoring isn't a stack. It's a pile. Fix that.

Errors, performance, logs, uptime. One install, one invoice, one UI.

Replace Datadog, New Relic, and Sentry without adding three more dashboards.

Free 30 days.

Rate This Project

Login To Rate This Project

User Reviews

Be the first to post a review of eProofElectron!

Additional Project Details

Operating Systems

Linux, Mac, Windows

Languages

English

Intended Audience

Education

User Interface

Web-based

Programming Language

Registered

2016-10-12

Report inappropriate content

$300 Free Credits for Your Google Cloud Projects

Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.

Start Free Trial

Recommended Projects

DeepSeekMath-V2
Towards self-verifiable mathematical reasoning
Agda
Agda is a dependently typed programming language
The Agda standard library
The Agda standard library
Dominoes on Acid
Superficially, Dominoes on Acid is a solitaire variant of Dominoes with weird colorful tiles. But on a deeper level it is a GUI for natural deduction. Every completed domino is equivalent to a proof of a tautology in classical propositional logic.
Lurch
Software for teaching and learning mathematical proofs Where most mathematical proof software concentrates on formal logic (or some other specialty area of mathematics), Lurch aims to be truly general-purpose, with an attracitve user interface.