
Description: 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.
Type: Open Source Test Automation Framework
Founded: 2011
Primary Use: Mobile app testing automation
Supported Platforms: iOS, Android, Windows

Description: ProofMe is a digital proofing software that allows users to view, annotate, approve, and share designs and documents online. It enables seamless collaboration between teams to streamline the review and approval process.
Type: Cloud-based Test Automation Platform
Founded: 2015
Primary Use: Web, mobile, and API testing
Supported Platforms: Web, iOS, Android, API