commit: 79ddac55d9f9473fbfd8207d24f980c9a8c85b48

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

Mon Apr 29 20:39:06 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Apr 29 20:41:43 2024 -0700
tree: 5492a28c057d61dbad46181aa86f4cc49ba398c1
parent: 27c79cb6147b68c666292503919927055c923188 [diff]

chore: rename `set_option diag true` to `set_option diagnostics true`

3 files changed

tree: 5492a28c057d61dbad46181aa86f4cc49ba398c1

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.