macOS
Apple silicon (M1 and later)
- File
- RoomToProve-0.1.0-AppleSilicon.dmg
- Size
- 77 MB
- Needs
- macOS 13 or later
Version 0.1.0 · Free
Download Room to Prove
Free, with no account.
Windows
64-bit
- File
- Room to Prove 0.1.0 Setup.exe
- Size
- about 80 MB
- Needs
- Windows 10 or later
Set up in the app
Python and the assistant come with the app. Lean and Mathlib download on first launch.
| Download | On disk | |
|---|---|---|
| Lean 4 | 570 MB | 2.9 GB |
| Mathlib | 460 MB | 7.7 GB |
Then
- Open a lesson from the sidebar.
- Press ⌘K to search.
- Open Help for a guide.
- Tell us what you think: developer@gghomology.com.au.