APDE - Android Processing IDE vs ProofCafe
A side-by-side look at APDE - Android Processing IDE and ProofCafe. For an in-depth review of either product, follow the links below.
APDE - Android Processing IDE
Development
APDE is an integrated development environment for building Processing sketches to run on Android devices. It provides an editor, debugger, resource manager and more in a simple interface.
androidideprocessing
ProofCafe
Education & Reference
ProofCafe is a collaborative proof authoring and reviewing software for mathematicians and computer scientists. It allows multiple users to work together on authoring, editing, and reviewing formal proofs in real-time within a web browser.
proofauthoringreviewingcollaborationmathematicscomputer-science
Related Comparisons
DroidScript
Proofquick
MediaMarkup
Approval Manager