(R)?ex vs ProofCafe
A side-by-side look at (R)?ex and ProofCafe. For an in-depth review of either product, follow the links below.
(R)?ex
Development
(R)?ex is a powerful text editor for Windows that combines an efficient code editor with an easy-to-use formatting word processor. It has customizable syntax highlighting and code folding, regex support, macros and plugins.
text-editorcode-editorregex-supportsyntax-highlightingcode-foldingmacrosplugins
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
Foreman
Puppet
PSSH
Ziflow
Proofquick
Release Management for Visual Studio