commit: 169c541751bbb544b4f59e56a5f8fb9988f42b82

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

Mon Mar 31 11:04:12 2025 +0200
committer: GitHub <noreply@github.com>

Mon Mar 31 11:04:12 2025 +0200
tree: aff0ec37452bbc1f5bd810ba2dca4ebdef36201e
parent: 35894b119ce661b9c4a0dd6a4d33b2edd34c2c12 [diff]

test: disable flaky tests

2 files changed

tree: aff0ec37452bbc1f5bd810ba2dca4ebdef36201e

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