commit: 8534409834051c3a0f752efd34d2df13968a4fff

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

Mon Dec 09 16:58:46 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Mon Dec 09 16:58:58 2024 +1100
tree: 8b4738a5bb4e7385668387dca5f29e1470a3c018
parent: 4dd182c55440aadf81a38029f6e3c86ea4857079 [diff]

chore: DecidableRel allows a heterogeneous relation

4 files changed

tree: 8b4738a5bb4e7385668387dca5f29e1470a3c018

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