commit: 864b0d77791e861bf1c8ecc75a99e8c9ddba178b

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

Sun Aug 25 17:10:17 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Aug 25 17:14:27 2024 -0700
tree: a52da8e4f6658271427fbfefb0d52c89ca12d4cf
parent: cee84286e6a6c2716aac8ddcdb552e830f760033 [diff]

fix: PANIC at `Lean.MVarId.falseOrByContra`

closes #4985
closes #4984

3 files changed

tree: a52da8e4f6658271427fbfefb0d52c89ca12d4cf

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