commit: 342163fc0786d37e7936e158ff4e8fe6542e9dcc

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

Sun Sep 28 16:17:15 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Sep 28 16:17:38 2025 -0700
tree: 820495a262de719c87f93caa0beb1178534de06b
parent: a6f40453a0719be2341b822a2bb5b70745b34f42 [diff]

chore: request update stage0

stage0/src/stdlib_flags.h[diff]

1 file changed

tree: 820495a262de719c87f93caa0beb1178534de06b

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.