commit: 1b50af3e95ae7fd698b68d8f550d19dadf43dbe2

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

Sat Jan 11 19:26:21 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Jan 11 20:00:26 2025 -0800
tree: 3ad1ddbb591d323df0abd62b04c9185ad627d7a2
parent: 2d041711744583dda9dc984089c596c1a32fd1dd [diff]

feat: give preference to case-splits with fewer cases

2 files changed

tree: 3ad1ddbb591d323df0abd62b04c9185ad627d7a2

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