commit: 237362afec79b336d3dbaab4a1581e55265fc21c

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

Thu Apr 11 06:47:07 2024 +1000
committer: Scott Morrison <scott.morrison@gmail.com>

Thu Apr 11 06:47:07 2024 +1000
tree: 86ea777bd2e0d1d80ed39350523e0b90a78596da
parent: 280525f1fccbe2e08ef3032ac02af30ebdebf728 [diff]

chore: add digama0 to CODEOWNERS

CODEOWNERS[diff]

1 file changed

tree: 86ea777bd2e0d1d80ed39350523e0b90a78596da

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.