Goblin Tools vs ProofCafe
A side-by-side look at Goblin Tools and ProofCafe. For an in-depth review of either product, follow the links below.
Goblin Tools
Gaming Software
Goblin Tools is a suite of open-source software designed for game development. It includes tools for creating 3D models and environments, animating characters, coding game logic, and building full games. The tools work well together but can also be used individually.
3d-modelinganimationgame-enginelevel-editoropen-source
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
Google Keep
proofHQ
Proofquick
ProofMe
MediaMarkup
Approval Manager