commit: ebcf2047caab162e1fff7a42c613d2602690eb04

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

Sun Oct 29 08:05:56 2023 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Oct 29 08:06:49 2023 -0700
tree: 73c8735e38b6a11067e9bcb59b8ce643809f6f15
parent: 3dc9a8617f6a8c391d9bbd41bdf0adf313bc8c76 [diff]

test: dag

tests/bench/dag_issues/dag2.lean[Added - diff]

1 file changed

tree: 73c8735e38b6a11067e9bcb59b8ce643809f6f15

README.md

This is the repository for Lean 4.

We provide nightly releases and have just begun regular stable point releases.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.