commit: ee1a1e345aa384ed37dabc7a2136a2d252fa178a

[log]
author: Kyle Miller <kmill31415@gmail.com>

Fri Apr 12 14:46:35 2024 -0700
committer: GitHub <noreply@github.com>

Fri Apr 12 14:46:35 2024 -0700
tree: a7605df5ab11e59cefbbb60f8c6afa21d0ea41fd
parent: e59fad2955c6c8ed7d3fec8492c12087e12d1c7d [diff]

doc: fix `simp` configuration option default value for `decide`

src/Init/MetaTypes.lean[diff]

1 file changed

tree: a7605df5ab11e59cefbbb60f8c6afa21d0ea41fd

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.