commit: 4a0995c02752ec3369ec8895dfa9ef000b641758

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

Sun Feb 25 06:59:00 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Feb 25 09:25:24 2024 -0800
tree: 24fb3ccc45788c1216b9359c917d1b48705106fe
parent: a6c130b6ae3b4f372b3a8760d12e0ce3737b65f0 [diff]

fix: `mdata` handling at `LitValues.lean`

2 files changed

tree: 24fb3ccc45788c1216b9359c917d1b48705106fe

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.