commit: a69b751658d09f9fe1e65cb7e6bab99d93dd9e1a

[log]
author: Sebastian Graf <sgraf1337@gmail.com>

Sun Aug 10 21:46:51 2025 +0200
committer: Sebastian Graf <sgraf1337@gmail.com>

Mon Aug 11 08:26:42 2025 +0200
tree: 24b860af3745e071199d15e05e83f4d81ad630fd
parent: a041ffa702b0ce243f4ef08d4a408dcb48ebdc4a [diff]

fix: Work around a DefEq bug in `mspec` involving delayed assignments

2 files changed

tree: 24b860af3745e071199d15e05e83f4d81ad630fd

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.