commit: 41697dcf6cab7ec82723ba404f2bda7a4526bb2b

[log]
author: Kim Morrison <scott.morrison@gmail.com>

Wed Apr 24 13:56:16 2024 +1000
committer: GitHub <noreply@github.com>

Wed Apr 24 03:56:16 2024 +0000
tree: bfdec62db3fe99edfedd926cde4b90f871d1b0dd
parent: 3990a9b3be9bd8d33b25bdf26a8a7821cb1a741c [diff]

feat: improvements to test_extern command (#3075)

Two improvements
[suggested](https://github.com/leanprover/lean4/pull/2970#issuecomment-1853436906)
by @digama0 after the initial PR was merged.

* Allow testing `implemented_by` attributes as well.
* Use `DecidableEq` rather than `BEq` for stricter testing.

4 files changed

tree: bfdec62db3fe99edfedd926cde4b90f871d1b0dd

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.