commit: f34cb4a6841973849582f7d91c4371e943695502

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

Mon Aug 25 20:56:32 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Aug 25 20:56:32 2025 -0700
tree: fe0bba66875a509f310582b5b0343fa6e62b467b
parent: 20f67bbf03e999b94e45b8ed05f61739895c6f0f [diff]

chore: add `isDefEqD`

10 files changed

tree: fe0bba66875a509f310582b5b0343fa6e62b467b

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.