commit: 91faf1017b7560d09251516e83b29c2918f6ddb7

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

Fri Oct 17 08:20:14 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Oct 17 08:20:14 2025 -0700
tree: bc3a425e3ed1eed88ab3253f948864dc837bdd7d
parent: 904b3e7db862d77a578292ac3af80510cec144cf [diff]

feat: rename `show_splits` and `show_thms`

3 files changed

tree: bc3a425e3ed1eed88ab3253f948864dc837bdd7d

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.