commit: 73acea1f4540a333db0de372ad8c52fbcd875dfa

[log]
author: Sebastian Graf <sg@lean-fro.org>

Mon Jul 07 14:57:46 2025 +0200
committer: Sebastian Graf <sg@lean-fro.org>

Mon Jul 07 14:57:46 2025 +0200
tree: d948ddedeaddbdf48fb7727ae9e4f07ba70cc890
parent: 6e98dfbc64aa2ae63ba866f696dcb9b2a6fb5bab [diff]

chore: Update CODEOWNERS

CODEOWNERS[diff]

1 file changed

tree: d948ddedeaddbdf48fb7727ae9e4f07ba70cc890

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.