commit: 8bd69fed15a45970f885c3f80afec18a76e5a82c

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

Mon Apr 01 19:13:26 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Apr 01 19:13:26 2024 -0700
tree: 9f2a971b46dc62ef58554cd4ba4136fc7c8ae4ff
parent: f35fc18c88c955b7b767e0d98bad7f5b2d6e0e8b [diff]

fix: missing test at `addDocString`

src/Lean/DocString.lean[diff]
tests/lean/run/3497.lean[Added - diff]

2 files changed

tree: 9f2a971b46dc62ef58554cd4ba4136fc7c8ae4ff

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.