commit: 59beb46b53c7128911c2c493858875c65fa9280b

[log]
author: Paul Reichert <6992158+datokrat@users.noreply.github.com>

Fri Aug 01 18:33:38 2025 +0200
committer: Paul Reichert <6992158+datokrat@users.noreply.github.com>

Fri Aug 01 18:33:38 2025 +0200
tree: 91f844701b03709f1c4ae034ebbd0fb6ee603669
parent: 417031fc173c8d292ac9e9d210a39217de909334 [diff]

make datokrat code owner for iterators, ranges and slices

CODEOWNERS[diff]

1 file changed

tree: 91f844701b03709f1c4ae034ebbd0fb6ee603669

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.