commit: 6c691598124a0a05938bb28a686cd8c0027d57df

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

Wed Feb 21 09:11:15 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Feb 21 11:46:17 2024 -0800
tree: 9523bb79a5f6a51e36871205fe951d8aa99a657a
parent: ddd6342737605bc62be1d1488aacb77f6bee3109 [diff]

fix: allow users to disable builtin simprocs in simp args

3 files changed

tree: 9523bb79a5f6a51e36871205fe951d8aa99a657a

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.