commit: 4106593de7655fb68307c39d52de9230b9883ef9

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

Tue Mar 05 13:56:52 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Mar 05 14:05:43 2024 -0800
tree: c7690e55080b2e42ff0a9dede2fa6eabfd46fe50
parent: 6f144435aa9ebc9c2ef9f5db9bc7330280764bbe [diff]

feat: use `dsimproc`s at `dsimp`

7 files changed

tree: c7690e55080b2e42ff0a9dede2fa6eabfd46fe50

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.