commit: 55f624b72d9766c2593fb51767e94781257bb3f1

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

Tue Jan 28 16:57:26 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Tue Jan 28 16:57:26 2025 +1100
tree: 72e6752d5f1f4742ed38c98e41d22f1cdcbdda57
parent: 20c616503abe5ce4253c56dbcd7766a91c675ba0 [diff]

feat: allow simp priority explanations

3 files changed

tree: 72e6752d5f1f4742ed38c98e41d22f1cdcbdda57

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