commit: 9b2b4aa2843f87d9ac14284b95302168ff205f93

[log]
author: Scott Morrison <scott.morrison@gmail.com>

Mon Jan 08 15:02:33 2024 +1100
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Jan 08 13:51:33 2024 -0800
tree: cee977d9b94dc3476d0cdc6c421513ac586a2722
parent: e6ed38551b3311d423e70d94f0831eef4a1effda [diff]

test: timeout in Mathlib.Computability.PartrecCode

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

1 file changed

tree: cee977d9b94dc3476d0cdc6c421513ac586a2722

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.