MadAppLauncher vs ProofCafe

A side-by-side look at MadAppLauncher and ProofCafe. For an in-depth review of either product, follow the links below.

MadAppLauncher

Os & Utilities

MadAppLauncher is an open source application launcher and dock for Linux. It provides quick access to installed applications and custom shortcuts in an attractive, customizable dock. Useful for both beginners and power users.

open-sourcelauncherdocklinuxapplication-accessshortcutscustomizable

Full review → Alternatives

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

Full review → Alternatives