commit: d6ecbce878571568bc0c964d6025364332b085bf

[log]
author: Scott Morrison <scott.morrison@gmail.com>

Tue Feb 06 21:28:20 2024 +1100
committer: GitHub <noreply@github.com>

Tue Feb 06 21:28:20 2024 +1100
tree: 86289b575d026b87084cf15bccf35131128e252c
parent: 73a0a3e847afac540719af4d0431c887fec6fde8 [diff]

Update tests/lean/run/3229.lean

Co-authored-by: Joachim Breitner <mail@joachim-breitner.de>

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

1 file changed

tree: 86289b575d026b87084cf15bccf35131128e252c

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.