commit: dbffd6a14cf29e20213dbdbdfc40169f5c9146a8

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

Mon Sep 30 16:32:07 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Mon Sep 30 16:46:28 2024 +1000
tree: 44f2293bfa733f32b9689803e5983db409167afe
parent: 994cfa4c74a066df050ca889da912e71fa70cd85 [diff]

chore: adjust DecidableRel instance for leOfOrd

src/Init/Data/Ord.lean[diff]

1 file changed

tree: 44f2293bfa733f32b9689803e5983db409167afe

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