commit: 5fae80ee92f3e8b6f9ccca5191621c023a4033f2

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

Wed Jun 19 16:02:41 2024 -0700
committer: Kim Morrison <kim@tqft.net>

Tue Jul 02 12:13:45 2024 +1000
tree: 05eb1ccfa01c75fafc0f558e8920f91e70a44e18
parent: 056ea53f993b22b2407a2c284de54f74ab6dc710 [diff]

test: for `rw` with `nonDependentFirst`

tests/lean/run/rw_nondepFirst.lean[Added - diff]

1 file changed

tree: 05eb1ccfa01c75fafc0f558e8920f91e70a44e18

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).