commit: 68e3982eed1e4f98b0a81318510a7717ec6ff3e3

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

Thu Apr 11 14:21:42 2024 +1000
committer: GitHub <noreply@github.com>

Thu Apr 11 04:21:42 2024 +0000
tree: b04fd97fd701fd7cf78ef88ed76404c2555f2601
parent: 36db04072223de75024ed39e46ca5698d9cc549b [diff]

chore: update CODEOWNERS (#3878)

This adds @digama0 to the CODEOWNERS files for the tactics files which
have recently been upstreamed from Std.

CODEOWNERS[diff]

1 file changed

tree: b04fd97fd701fd7cf78ef88ed76404c2555f2601

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.