| Lean binary distribution | |
| ------------------------ | |
| The binary distribution package contains: | |
| - Lean executable (located in the sub-directory bin) | |
| - Standard library (located in the sub-directory lib/lean/library) | |
| Assuming you are in the same directory this file is located, | |
| the following command executes a simple set of examples | |
| % bin/lean examples/ex.lean | |
| For more information on Lean and supported editors, please see https://lean-lang.org/documentation/. |