commit: a51b52c836cb6a68439eb98c57bd9700879f1bfe

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Thu Mar 13 10:12:45 2025 +0100
committer: GitHub <noreply@github.com>

Thu Mar 13 10:12:45 2025 +0100
tree: b84d1ba294a2addb91d0ece5fb9c24bbabe08530
parent: b16769f5a0bc84378d66b8c2b7266a7148dbee74 [diff]

chore: reset stdlib_flags

src/stdlib_flags.h[diff]

1 file changed

tree: b84d1ba294a2addb91d0ece5fb9c24bbabe08530

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).