commit: f0b2fca3caee8ab0b7f048af644189fc71b06d89

[log]
author: Rob Simmons <rob@lean-fro.org>

Sun Jul 12 23:30:21 2026 -0400
committer: Rob Simmons <rob@lean-fro.org>

Sun Jul 12 23:30:21 2026 -0400
tree: 18b7599ae6f64321914d90aa61a11d90bea499de
parent: 0aa1c39b6dded6d88d07eec27b078ee44ee3e78c [diff]

mmapped ilean variant

2 files changed

tree: 18b7599ae6f64321914d90aa61a11d90bea499de

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.