commit: cfeb9578071dbdfc6d8b928bc6737ddd42531183

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

Tue Feb 06 18:56:38 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Tue Feb 06 18:57:05 2024 +1100
tree: c392880974e39f27739f7ad3459e6bd5b71178fb
parent: 43bbedca46f890e2d2b29d92f71b1e7b76aa0e93 [diff]

fix: don't drop doc-comments on simprocs

src/Init/Simproc.lean[diff]

1 file changed

tree: c392880974e39f27739f7ad3459e6bd5b71178fb

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.