commit: 89c93628052eb4102f29e234ec732cfd37dfce7f

[log]
author: Sebastian Graf <sg@lean-fro.org>

Fri Jul 04 08:47:38 2025 +0200
committer: Sebastian Graf <sg@lean-fro.org>

Fri Jul 04 14:10:27 2025 +0200
tree: 673c4c06b66bd2a1f24bb74ffe3b033e47a35432
parent: e9a55bfff7ad65cb9890ef058e6f9f059ca18630 [diff]

fix: Scope `PostCond.total` to `Std.Do` by making it non-builtin

3 files changed

tree: 673c4c06b66bd2a1f24bb74ffe3b033e47a35432

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.