commit: 76c012f12f1e8111be5fcba205c3352d6e2390b2

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

Sun Aug 17 15:45:47 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Aug 17 15:45:47 2025 -0700
tree: f89c0b1646ba4136d12a77cf5c0387b21a52f3ff
parent: 4325ee81415705895a78ecf79792594b3b9616d9 [diff]

chore: force update stage0

stage0/src/stdlib_flags.h[diff]

1 file changed

tree: f89c0b1646ba4136d12a77cf5c0387b21a52f3ff

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.