commit: 7aec6c9ae7a54935ada0df0b4cc1efafc2291007

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

Tue Jul 16 09:43:26 2024 +0200
committer: Sebastian Ullrich <sebasti@nullri.ch>

Tue Jul 16 09:43:26 2024 +0200
tree: 2455a824ef5584cf8fb1e672b8bd00580c260347
parent: 31de2494fb603081d261a5ded574b7c2f884c755 [diff]

chore: temporarily remove test broken by #4746

tests/lean/ctor_layout.lean[Deleted - diff]
tests/lean/ctor_layout.lean.expected.out[Deleted - diff]

2 files changed

tree: 2455a824ef5584cf8fb1e672b8bd00580c260347

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