How Collaboration Works
- Create or join a proof session from the editor.
- Work from the same live goal state with shared updates.
- Review progress together and continue asynchronously.
Getting started
Open the proof editor and choose Join session or Browse sessions from the top bar to see what's live. Each participant sees the same goal tree, the same tactic history, and their teammates' cursors as they work.
Sessions can be public (discoverable in the browser) or private (invite only via session ID). Chat and lightweight action-capture (opt-in) let you talk through the proof without leaving the editor.
What you can do together
- Pair-solve a Number Game level.
- Walk a friend through a proof they're stuck on.
- Break a large proof into subgoals and split them across the group.
- Record a proof session that anyone can replay later.
Learn more
The full walkthrough lives in the User Guide. If something is not working the way you expect, we would love to hear from you at support@finalequation.com.