commit: 4abfd60784863f320d8414eb902c43bbc0dee2d5

[log]
author: Henrik Böving <hargonix@gmail.com>

Thu Oct 09 18:55:44 2025 +0200
committer: Henrik Böving <hargonix@gmail.com>

Thu Oct 09 18:55:44 2025 +0200
tree: b39926a71da390ffa3de5318251ac2f5971fba44
parent: 930c82e1fd15a86fdb58e934199495a8026bb421 [diff]

perf: inline hot path of ST

3 files changed

tree: b39926a71da390ffa3de5318251ac2f5971fba44

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.