commit: ba1acf57751161b6247ec13f766e209618c019ba

[log]
author: Scott Morrison <scott.morrison@gmail.com>

Wed Apr 10 22:21:49 2024 +1000
committer: Scott Morrison <scott.morrison@gmail.com>

Wed Apr 10 22:21:49 2024 +1000
tree: 37e13f017115001821550dd3da466d362ee79be5
parent: 280525f1fccbe2e08ef3032ac02af30ebdebf728 [diff]

doc: add docstring to add_decl_doc

src/Lean/Parser/Command.lean[diff]

1 file changed

tree: 37e13f017115001821550dd3da466d362ee79be5

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.