commit: aa8faae5766b3f7003774d5d01d6af0a69a39622

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

Tue Mar 04 11:26:12 2025 +0100
committer: GitHub <noreply@github.com>

Tue Mar 04 10:26:12 2025 +0000
tree: efc1b40db89ed373be42cd0bb7c696c554eb0ecf
parent: 2f8901d6d01351bcfd8f765ca99e003d3f788d37 [diff]

feat: allow `cond` to be used in proofs (stage0 update prep) (#7320)

This PR prepares for #7141.

3 files changed

tree: efc1b40db89ed373be42cd0bb7c696c554eb0ecf

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