commit: 55971736c86a081d4b89493b5def75df1787bd68

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Mon Feb 16 19:12:00 2026 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Feb 16 19:12:00 2026 -0800
tree: c976bc899d953dfd8dec01ccf91f78af0c44e42c
parent: 7ffccb5f6ec30bab9d94aedeaa492fb9c692c2ae [diff]

chore: move PROFILER_README.md to script/

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

script/PROFILER_README.md[Renamed from PROFILER_README.md - diff]
script/lean_profile.sh[diff]

2 files changed

tree: c976bc899d953dfd8dec01ccf91f78af0c44e42c

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.