commit: 810a4b31b5143115903ae61fd4a0ab15cf903164

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

Wed May 07 09:56:34 2025 +0200
committer: Leonardo de Moura <leomoura@amazon.com>

Wed May 07 09:56:34 2025 +0200
tree: e38ce736f90507b1125dacb524df71ae847f1fc0
parent: 1733be86499ac35830c03e412fa865e4fd7d42c5 [diff]

fix: unintended inlining for `Repr`

6 files changed

tree: e38ce736f90507b1125dacb524df71ae847f1fc0

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean (documentation source: doc/make/index.md).