Room to Prove

Version 0.1.0 · Free

Download Room to Prove

Free, with no account.

macOS

Apple silicon (M1 and later)

File
Room to Prove 0.1.0 (Apple silicon).dmg
Size
about 80 MB
Needs
macOS 13 or later
Coming soon

Windows

64-bit

File
Room to Prove 0.1.0 Setup.exe
Size
about 80 MB
Needs
Windows 10 or later
Coming soon

Set up in the app

Python and the assistant come with the app. Lean and Mathlib download on first launch.

DownloadOn disk
Lean 4570 MB2.9 GB
Mathlib460 MB7.7 GB

Then

  1. Open a lesson from the sidebar.
  2. Press ⌘K to search.
  3. Open Help for a guide.
  4. Tell us what you think: developer@gghomology.com.au.