Skip to content

ProofCafe vs Sleep Time - Alarm Clock

A side-by-side look at ProofCafe and Sleep Time - Alarm Clock. For an in-depth review of either product, follow the links below.

ProofCafe

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
Sleep Time - Alarm Clock

Sleep Time - Alarm Clock

Home & Family

Sleep Time is a free alarm clock app for Android that helps you wake up gently and sleep better. It offers nature sounds, challenges, captchas, and more to ensure you get up on time.

alarmclocksleepnature-sounds