commit: 29e37332cd13dfbbd45bf7d0e15dd21937a7a79a

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

Wed Oct 02 12:19:09 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Wed Oct 02 12:19:09 2024 +1000
tree: 6181bb9f8c5e44a8515f35ff91135033602d206c
parent: 959e4f7478bbee3e946fe771b3843597cf539f7b [diff]

fix and tests

2 files changed

tree: 6181bb9f8c5e44a8515f35ff91135033602d206c

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