commit: c8da6a878da16bb725a5eb1b90b32815454c0d02

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Thu Apr 17 17:35:38 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Thu Apr 17 17:35:38 2025 -0700
tree: ab1506010c8dc2a9f15bf0987baad72435a94ba3
parent: d981fa0fafe06ea602808eea0d4ac4afd9e4517a [diff]

chore: allow `RArray` to be universe polymorphic

7 files changed

tree: ab1506010c8dc2a9f15bf0987baad72435a94ba3

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 (documentation source: doc/make/index.md).