commit: 4f89ac5d72e4510f4ad08f12b7ae7a23ad7bdf7d

[log]
author: Joachim Breitner <mail@joachim-breitner.de>

Fri Mar 20 15:14:58 2026 +0000
committer: Joachim Breitner <mail@joachim-breitner.de>

Fri Mar 20 16:00:35 2026 +0000
tree: a8d3f48b12820fa8d4e9c4a9555d0d07976dd085
parent: c821736be0686de8fd0be97866dd197a98338edf [diff]

refactor: use commitIfNoEx in tryCandidates, add IndPredM docstring

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

4 files changed

tree: a8d3f48b12820fa8d4e9c4a9555d0d07976dd085

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.