commit: 265de42909f9184d4fbb17fdb6808c8015d71b66

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

Wed Apr 17 14:39:15 2024 +1000
committer: GitHub <noreply@github.com>

Wed Apr 17 14:39:15 2024 +1000
tree: 42b2e58a81ae8a2b2d3ff4e86b8fa6cef7329556
parent: d4efda44a3be7a8af6835a56af389849aa97b3d3 [diff]

Apply suggestions from code review

Co-authored-by: Mario Carneiro <di.gama@gmail.com>

src/Init/Control/Lawful/Basic.lean[diff]

1 file changed

tree: 42b2e58a81ae8a2b2d3ff4e86b8fa6cef7329556

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.