commit: 1691358f7516121d0093adc9aa08a9a7cedef8fb

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

Sat Feb 17 11:07:48 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Feb 17 12:20:23 2024 -0800
tree: eadaa7a35fc44d11d266a3c5fea676670e3f54c8
parent: 61a76a814f3868a7fca20e2db07527aae1250e94 [diff]

feat: simprocs for `Char`

src/Lean/Meta/Tactic/Simp/BuiltinSimprocs.lean[diff]
src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Char.lean[Added - diff]
tests/lean/simprocChar.lean[Added - diff]
tests/lean/simprocChar.lean.expected.out[Added - diff]

4 files changed

tree: eadaa7a35fc44d11d266a3c5fea676670e3f54c8

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.