commit: e845726d640af8814b631110d7cb09256902721c

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

Mon Mar 17 11:47:33 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Mar 17 11:47:33 2025 -0700
tree: 1db57cf74a6236006af91f424f5ec5785610bc4e
parent: de079846b7ec0031571d24d3458d9c0bb4bc2cb2 [diff]

refactor: cleanup `Nat.sub` support

2 files changed

tree: 1db57cf74a6236006af91f424f5ec5785610bc4e

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