commit: 8736e730671c69cebd4a1e0404b28be1a8b6799f

[log]
author: Scott Morrison <scott.morrison@gmail.com>

Wed Apr 10 22:08:43 2024 +1000
committer: Scott Morrison <scott.morrison@gmail.com>

Wed Apr 10 22:08:43 2024 +1000
tree: a6eafec5cecb268c95b939c09563e90849647a83
parent: 280525f1fccbe2e08ef3032ac02af30ebdebf728 [diff]

doc: doc-string for Ord and Ord.compare

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

1 file changed

tree: a6eafec5cecb268c95b939c09563e90849647a83

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.