commit: a115fd34a8d0eca7402c65117c3c6ba59310dd94

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

Thu May 08 16:46:26 2025 +0200
committer: Joachim Breitner <mail@joachim-breitner.de>

Thu May 08 16:46:26 2025 +0200
tree: 438538e136dd44de691cc3bbf19eb9f782b104cb
parent: 8b4e699dc8898d54b656dbe487da20cb9c2d47e6 [diff]

update tests, applyConst

6 files changed

tree: 438538e136dd44de691cc3bbf19eb9f782b104cb

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