commit: 86a16a15197a41df9aa97463f458fca7a0818e46

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

Thu May 29 21:26:26 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Thu May 29 21:26:26 2025 +1000
tree: 618778f6b560449d285eab82337bdc7a715d5ca7
parent: a5ba2dc211c7ece0fa7b7dd299a7cee0d8a289ca [diff]

sort tests

2 files changed

tree: 618778f6b560449d285eab82337bdc7a715d5ca7

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.