commit: 75c3b817dd24d17330e7ba941ccf1835d9e5d67a

[log]
author: Sofia Rodrigues <sofia@algebraic.dev>

Mon May 25 13:47:31 2026 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Mon May 25 13:47:31 2026 -0300
tree: 798b61e0e09f393a112bd66d009a9b7bd03f1e14
parent: 34df7320668250fa586c2bbb706637896581a3f9 [diff]

test: remove non det async_sleep test

tests/elab/async_sleep.lean[Deleted - diff]

1 file changed

tree: 798b61e0e09f393a112bd66d009a9b7bd03f1e14

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.