Dillinger vs ProofCafe
A side-by-side look at Dillinger and ProofCafe. For an in-depth review of either product, follow the links below.
Dillinger
Office & Productivity
Dillinger is an open-source online Markdown editor. It allows for fast and easy writing and previewing of Markdown documents. Key features include Markdown syntax highlighting, export to HTML or PDF, drag and drop for images, and GitHub sync for version control.
markdowneditoropen-sourcewritingpreviewexportversion-control
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
Typora
Mark Text
Minimalist Markdown Editor
StackEdit
TextNut
Writing Kit