commit: 1978655d56a21eed5c293d64f7e5d3c4947d39d0

[log]
author: Henrik Böving <hargonix@gmail.com>

Sun Sep 13 15:46:49 2026 +0000
committer: Henrik Böving <hargonix@gmail.com>

Sun Sep 13 16:28:02 2026 +0000
tree: 9c0bb7e7ca590f19607ccdecf7abfc702a26a838
parent: 68867f360f1ef0aa486f71d06e4d65884f36a29f [diff]

feat: default location for comparator config

3 files changed

tree: 9c0bb7e7ca590f19607ccdecf7abfc702a26a838

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.