commit: 502a4281abfa69923600e48c3ababc3a6bbc714f

[log]
author: Joachim Breitner <mail@joachim-breitner.de>

Wed Sep 24 13:17:29 2025 +0200
committer: Joachim Breitner <mail@joachim-breitner.de>

Wed Sep 24 13:31:51 2025 +0200
tree: e494e80925c338e1d3a103d8d632d35c4062fbf2
parent: 9fc18b8ab462cb9100d37a23814ebbac330e8577 [diff]

experiment: index recursor_rules by constructor index

6 files changed

tree: e494e80925c338e1d3a103d8d632d35c4062fbf2

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.