commit: 338324af96f178dea6a96ceb2a2896c7c44e4b5d

[log]
author: Kim Morrison <kim@tqft.net>

Tue May 13 21:13:04 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Tue May 13 21:13:04 2025 +1000
tree: b5ba5254f2e9bf4ec5f21c78d91f02f26eb782cb
parent: 6eea4054842565d1bebd5e08d243ffe6a6f87f77 [diff]

fix test 2/2

tests/lean/run/structWithAlgTCSynth.lean[diff]

1 file changed

tree: b5ba5254f2e9bf4ec5f21c78d91f02f26eb782cb

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