Blockly vs ProofCafe
A side-by-side look at Blockly and ProofCafe. For an in-depth review of either product, follow the links below.
Blockly
Development
Blockly is a free and open-source visual programming language and web-based integrated development environment. It allows users to drag blocks together to build programs visually, without needing to type code.
visual-programmingeducationcoding
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
Pocket Code
EduBlocks
Blue by MIT
proofHQ
Aproove
ProofMe