commit: 1152148026019779753eb8c790c64569f34bf456

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Wed Aug 07 10:02:27 2024 +0200
committer: Sebastian Ullrich <sebasti@nullri.ch>

Wed Aug 07 10:23:14 2024 +0200
tree: 7d01e78ef3db5025dcce9952a67886efe28f5182
parent: 574066b30b32ed9742042706b59ea0c12d0541d8 [diff]

test: remove flaky test case

2 files changed

tree: 7d01e78ef3db5025dcce9952a67886efe28f5182

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