commit: c86e5470f93478842610ee4ec468fe1d694dbe2f

[log]
author: Gabriel Ebner <gebner@gebner.org>

Thu Mar 30 16:44:44 2023 -0700
committer: Gabriel Ebner <gebner@gebner.org>

Thu Apr 06 16:32:44 2023 +0000
tree: a23552e9018b62a4f9804540b09a3dd3dc21920a
parent: 9aeae677081f0a23f5b4236f2d10317ce4811c41 [diff]

fix: simp: strip mdata when testing for True/False

Fixes #2173

4 files changed

tree: a23552e9018b62a4f9804540b09a3dd3dc21920a

README.md

This is the repository for Lean 4, which is currently being released as milestone releases towards a first stable release. Lean 3 is still the latest stable release.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.