commit: cc458b8948aad17c0f4b6e392e98d11587e56969

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

Thu Aug 29 09:37:55 2024 +0200
committer: Sebastian Ullrich <sebasti@nullri.ch>

Thu Aug 29 09:37:55 2024 +0200
tree: 1036f413bd63018bd13d7b2c1d2f2fee89d33fb2
parent: 44985dc9a64bb6f4f898abb7be24e7be47f42bb7 [diff]

chore: revert "chore: temporarily remove test broken by #4746"

This reverts commit 7aec6c9ae7a54935ada0df0b4cc1efafc2291007.

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

2 files changed

tree: 1036f413bd63018bd13d7b2c1d2f2fee89d33fb2

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